BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:65396131-6161-4037-b437-306231383165
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:30613335-3139-4338-a434-343361643765
DTSTAMP:20260430T045230Z
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:66643732-6435-4265-b139-316435363533
DTSTAMP:20260430T045230Z
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:34663937-3234-4836-b232-393038376539
DTSTAMP:20260430T045230Z
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:30656566-3736-4365-b764-386464623135
DTSTAMP:20260430T045230Z
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:65623162-3834-4963-b733-306539356530
DTSTAMP:20260430T045230Z
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:62653338-6462-4637-b862-623263323831
DTSTAMP:20260430T045230Z
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:32366131-3433-4338-a439-353466313232
DTSTAMP:20260430T045230Z
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:63333563-3438-4839-a261-363339323966
DTSTAMP:20260430T045230Z
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:65326232-6233-4264-b963-353562353135
DTSTAMP:20260430T045230Z
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:31643665-3534-4564-b535-333564316535
DTSTAMP:20260430T045230Z
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:33396665-6131-4536-b864-356634633563
DTSTAMP:20260430T045230Z
DESCRIPTION:
DTSTART:20220721T090000Z
DTEND:20220721T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Learning to Solve SMT Formulas
END:VEVENT
END:VCALENDAR