BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:35643865-6338-4364-b634-343664386431
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:37373862-3934-4038-b762-363861333839
DTSTAMP:20260816T011047Z
DESCRIPTION:
DTSTART:20220421T081500Z
DTEND:20220421T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Nsc: Kick-Off
END:VEVENT
BEGIN:VEVENT
UID:33653939-3964-4161-a436-646664646461
DTSTAMP:20260816T011047Z
DESCRIPTION:
DTSTART:20220424T215900Z
DTEND:20220424T215900Z
SUMMARY:Nsc: Paper Preferences
END:VEVENT
BEGIN:VEVENT
UID:66326365-6163-4564-b731-643166386465
DTSTAMP:20260816T011047Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220425
DTEND;VALUE=DATE:20220426
SUMMARY:Nsc: Paper Notification
END:VEVENT
BEGIN:VEVENT
UID:33643333-3461-4239-b834-636136306633
DTSTAMP:20260816T011047Z
DESCRIPTION:
DTSTART:20220505T081500Z
DTEND:20220505T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Nsc: Feedforward and Recurrent Neural Networks
END:VEVENT
BEGIN:VEVENT
UID:65323738-6265-4365-b538-323538346263
DTSTAMP:20260816T011047Z
DESCRIPTION:
DTSTART:20220512T081500Z
DTEND:20220512T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Nsc: Graph Neural Networks and Message Passing
END:VEVENT
BEGIN:VEVENT
UID:30666333-3339-4935-b762-653663393961
DTSTAMP:20260816T011047Z
DESCRIPTION:
DTSTART:20220519T081500Z
DTEND:20220519T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Nsc: Transformers and Large Language Models
END:VEVENT
BEGIN:VEVENT
UID:37333839-3536-4430-a330-343939306630
DTSTAMP:20260816T011047Z
DESCRIPTION:
DTSTART:20220602T081500Z
DTEND:20220602T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Nsc: Reinforcement Learning
END:VEVENT
BEGIN:VEVENT
UID:62653034-6362-4430-b836-333565323361
DTSTAMP:20260816T011047Z
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:31623835-3336-4535-b530-323131616236
DTSTAMP:20260816T011047Z
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:30383261-3261-4461-a630-646130343938
DTSTAMP:20260816T011047Z
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:31386435-3661-4063-b464-353032366234
DTSTAMP:20260816T011047Z
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:37313038-3537-4966-b430-356336343735
DTSTAMP:20260816T011047Z
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:37393338-6364-4530-a239-303533313964
DTSTAMP:20260816T011047Z
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:66366531-3064-4163-b232-393037353632
DTSTAMP:20260816T011047Z
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:38323531-6565-4234-b136-636432336136
DTSTAMP:20260816T011047Z
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:34383137-3431-4133-a232-306535303933
DTSTAMP:20260816T011047Z
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:35613932-6232-4365-a236-343366646239
DTSTAMP:20260816T011047Z
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:65323761-6164-4437-b132-643363386533
DTSTAMP:20260816T011047Z
DESCRIPTION:
DTSTART:20220721T090000Z
DTEND:20220721T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Nsc: Learning to Solve SMT Formulas
END:VEVENT
BEGIN:VEVENT
UID:34353030-6164-4037-a361-643863343364
DTSTAMP:20260816T011047Z
DESCRIPTION:
DTSTART:20220908T215900Z
DTEND:20220908T215900Z
SUMMARY:Nsc: Project Submission
END:VEVENT
END:VCALENDAR