BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:35353439-3565-4165-a237-633162333933
X-WR-CALNAME:Neural-Symbolic Computing Calendar
X-WR-CALDESC:Events of the lecture Neural-Symbolic Computing
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:61336136-6364-4431-a439-633337373335
DTSTAMP:20260704T235123Z
DESCRIPTION:
DTSTART:20220623T081500Z
DTEND:20220623T090000Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Data-Driven Approximations to NP-Hard Problems
END:VEVENT
BEGIN:VEVENT
UID:62326136-6665-4362-b537-633163303335
DTSTAMP:20260704T235123Z
DESCRIPTION:
DTSTART:20220623T090000Z
DTEND:20220623T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Learning a SAT Solver from Single-Bit Supervision
END:VEVENT
BEGIN:VEVENT
UID:39613163-3734-4765-a364-303264346634
DTSTAMP:20260704T235123Z
DESCRIPTION:
DTSTART:20220630T081500Z
DTEND:20220630T090000Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Graph Representations for Higher-Order Logic and Theorem Proving
END:VEVENT
BEGIN:VEVENT
UID:66393863-3863-4030-b263-636261346433
DTSTAMP:20260704T235123Z
DESCRIPTION:
DTSTART:20220630T090000Z
DTEND:20220630T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Learning to Represent Programs with Graphs
END:VEVENT
BEGIN:VEVENT
UID:63333139-3631-4837-a636-633337656338
DTSTAMP:20260704T235123Z
DESCRIPTION:
DTSTART:20220707T081500Z
DTEND:20220707T090000Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Teaching Temporal Logics to Neural Networks
END:VEVENT
BEGIN:VEVENT
UID:62396463-6639-4633-b664-383862633365
DTSTAMP:20260704T235123Z
DESCRIPTION:
DTSTART:20220707T090000Z
DTEND:20220707T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Competition-Level Code Generation with AlphaCode
END:VEVENT
BEGIN:VEVENT
UID:34343838-6164-4438-b532-656533646634
DTSTAMP:20260704T235123Z
DESCRIPTION:
DTSTART:20220707T094500Z
DTEND:20220707T103000Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Advancing Mathematics by Guiding Human Intuition with AI
END:VEVENT
BEGIN:VEVENT
UID:62356437-3366-4339-b835-306463623832
DTSTAMP:20260704T235123Z
DESCRIPTION:
DTSTART:20220714T081500Z
DTEND:20220714T090000Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Evaluating Large Language Models Trained on Code
END:VEVENT
BEGIN:VEVENT
UID:30613764-6337-4765-a337-663566363265
DTSTAMP:20260704T235123Z
DESCRIPTION:
DTSTART:20220714T090000Z
DTEND:20220714T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Mastering the Game of Go with Deep Neural Networks and Tree Search
END:VEVENT
BEGIN:VEVENT
UID:62613461-3963-4236-b432-306637363838
DTSTAMP:20260704T235123Z
DESCRIPTION:
DTSTART:20220721T081500Z
DTEND:20220721T090000Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Learning Combinatorial Optimization Algorithms over Graphs
END:VEVENT
BEGIN:VEVENT
UID:62333563-6137-4935-b362-303766646166
DTSTAMP:20260704T235123Z
DESCRIPTION:
DTSTART:20220721T090000Z
DTEND:20220721T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Learning to Solve SMT Formulas
END:VEVENT
END:VCALENDAR