BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:64393136-3335-4161-a334-353634366335
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:65303964-3939-4238-a330-386562383862
DTSTAMP:20260521T035059Z
DESCRIPTION:
DTSTART:20220623T081500Z
DTEND:20220623T090000Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Nsc: Data-Driven Approximations to NP-Hard Problems
END:VEVENT
BEGIN:VEVENT
UID:63323066-3838-4335-b734-316332383335
DTSTAMP:20260521T035059Z
DESCRIPTION:
DTSTART:20220623T090000Z
DTEND:20220623T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Nsc: Learning a SAT Solver from Single-Bit Supervision
END:VEVENT
BEGIN:VEVENT
UID:34326662-3333-4333-b962-303535393263
DTSTAMP:20260521T035059Z
DESCRIPTION:
DTSTART:20220630T081500Z
DTEND:20220630T090000Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Nsc: Graph Representations for Higher-Order Logic and Theorem Provi
 ng
END:VEVENT
BEGIN:VEVENT
UID:36613536-3831-4761-b138-303339383038
DTSTAMP:20260521T035059Z
DESCRIPTION:
DTSTART:20220630T090000Z
DTEND:20220630T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Nsc: Learning to Represent Programs with Graphs
END:VEVENT
BEGIN:VEVENT
UID:32336533-3432-4735-b265-306264643539
DTSTAMP:20260521T035059Z
DESCRIPTION:
DTSTART:20220707T081500Z
DTEND:20220707T090000Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Nsc: Teaching Temporal Logics to Neural Networks
END:VEVENT
BEGIN:VEVENT
UID:34396235-3166-4262-b066-623139646137
DTSTAMP:20260521T035059Z
DESCRIPTION:
DTSTART:20220707T090000Z
DTEND:20220707T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Nsc: Competition-Level Code Generation with AlphaCode
END:VEVENT
BEGIN:VEVENT
UID:34336331-6337-4038-b834-333334343832
DTSTAMP:20260521T035059Z
DESCRIPTION:
DTSTART:20220707T094500Z
DTEND:20220707T103000Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Nsc: Advancing Mathematics by Guiding Human Intuition with AI
END:VEVENT
BEGIN:VEVENT
UID:30626434-6263-4237-b062-393165333332
DTSTAMP:20260521T035059Z
DESCRIPTION:
DTSTART:20220714T081500Z
DTEND:20220714T090000Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Nsc: Evaluating Large Language Models Trained on Code
END:VEVENT
BEGIN:VEVENT
UID:37353566-6137-4432-a635-666636663535
DTSTAMP:20260521T035059Z
DESCRIPTION:
DTSTART:20220714T090000Z
DTEND:20220714T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Nsc: Mastering the Game of Go with Deep Neural Networks and Tree Se
 arch
END:VEVENT
BEGIN:VEVENT
UID:36306662-3065-4335-b636-353835353966
DTSTAMP:20260521T035059Z
DESCRIPTION:
DTSTART:20220721T081500Z
DTEND:20220721T090000Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Nsc: Learning Combinatorial Optimization Algorithms over Graphs
END:VEVENT
BEGIN:VEVENT
UID:33323933-3535-4337-b936-623037383535
DTSTAMP:20260521T035059Z
DESCRIPTION:
DTSTART:20220721T090000Z
DTEND:20220721T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Nsc: Learning to Solve SMT Formulas
END:VEVENT
END:VCALENDAR