BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:34393564-3434-4961-a461-383537313531
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:63396236-3437-4335-b365-323535623932
DTSTAMP:20260905T094639Z
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:32363831-3861-4337-b165-366131313337
DTSTAMP:20260905T094639Z
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:31656333-6661-4565-b163-373030393764
DTSTAMP:20260905T094639Z
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:63353234-6436-4364-b030-613366633334
DTSTAMP:20260905T094639Z
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:61646131-3338-4932-a232-303632333433
DTSTAMP:20260905T094639Z
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:38366438-6431-4265-b037-663036623936
DTSTAMP:20260905T094639Z
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:66626364-6166-4031-b030-343065313839
DTSTAMP:20260905T094639Z
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:30653662-3339-4339-b463-663437653533
DTSTAMP:20260905T094639Z
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:32356134-3533-4264-a431-653232323634
DTSTAMP:20260905T094639Z
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:38313766-3333-4334-a134-353934303264
DTSTAMP:20260905T094639Z
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:63633237-6334-4039-b231-616335616436
DTSTAMP:20260905T094639Z
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