BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:35653439-3564-4630-a338-316632346566
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:35643737-6565-4263-b338-363138633330
DTSTAMP:20260905T102839Z
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:62616437-3535-4333-b339-383263326238
DTSTAMP:20260905T102839Z
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:30333438-3965-4163-b333-643163356435
DTSTAMP:20260905T102839Z
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:32313361-3763-4130-b233-373663626639
DTSTAMP:20260905T102839Z
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:61656465-3332-4134-a533-326534366234
DTSTAMP:20260905T102839Z
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:33336636-3739-4338-a238-636561313533
DTSTAMP:20260905T102839Z
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:34633734-3766-4137-a330-653431666564
DTSTAMP:20260905T102839Z
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:36333966-6261-4334-a331-613631653561
DTSTAMP:20260905T102839Z
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:36373436-3938-4366-b739-303262383637
DTSTAMP:20260905T102839Z
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:66386635-6662-4662-b337-343864356462
DTSTAMP:20260905T102839Z
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:39363633-6637-4266-a366-373337666530
DTSTAMP:20260905T102839Z
DESCRIPTION:
DTSTART:20220721T090000Z
DTEND:20220721T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Learning to Solve SMT Formulas
END:VEVENT
END:VCALENDAR