BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:37353363-6234-4264-b036-363762346537
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:38396130-3364-4636-b763-663730646262
DTSTAMP:20260409T204932Z
DESCRIPTION:
DTSTART:20220421T081500Z
DTEND:20220421T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Nsc: Kick-Off
END:VEVENT
BEGIN:VEVENT
UID:61613662-3534-4132-b733-313936623235
DTSTAMP:20260409T204932Z
DESCRIPTION:
DTSTART:20220424T215900Z
DTEND:20220424T215900Z
SUMMARY:Nsc: Paper Preferences
END:VEVENT
BEGIN:VEVENT
UID:39336236-6436-4938-b833-356232376261
DTSTAMP:20260409T204932Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220425
DTEND;VALUE=DATE:20220426
SUMMARY:Nsc: Paper Notification
END:VEVENT
BEGIN:VEVENT
UID:62383731-3432-4038-a165-616464376363
DTSTAMP:20260409T204932Z
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:64353634-3438-4363-a538-326566373132
DTSTAMP:20260409T204932Z
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:62626130-3733-4666-b166-376465393163
DTSTAMP:20260409T204932Z
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:39316239-3331-4333-a135-333465373464
DTSTAMP:20260409T204932Z
DESCRIPTION:
DTSTART:20220602T081500Z
DTEND:20220602T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Nsc: Reinforcement Learning
END:VEVENT
BEGIN:VEVENT
UID:39376334-3838-4431-b136-666566643166
DTSTAMP:20260409T204932Z
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:34393238-3832-4364-a332-356533636539
DTSTAMP:20260409T204932Z
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:38613936-6566-4862-b539-653161383936
DTSTAMP:20260409T204932Z
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:66386634-3039-4034-b261-353138373036
DTSTAMP:20260409T204932Z
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:64613430-6563-4434-b537-376465393766
DTSTAMP:20260409T204932Z
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:63323437-3835-4439-b862-323439343532
DTSTAMP:20260409T204932Z
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:39363533-6139-4566-a237-623636616366
DTSTAMP:20260409T204932Z
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:38666332-6364-4262-b736-373265366636
DTSTAMP:20260409T204932Z
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:37336135-3130-4539-b163-383437333338
DTSTAMP:20260409T204932Z
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:63663330-3737-4165-b835-356235613031
DTSTAMP:20260409T204932Z
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:61666130-6531-4665-b139-383239653731
DTSTAMP:20260409T204932Z
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:65306336-3666-4263-a462-663336353565
DTSTAMP:20260409T204932Z
DESCRIPTION:
DTSTART:20220908T215900Z
DTEND:20220908T215900Z
SUMMARY:Nsc: Project Submission
END:VEVENT
END:VCALENDAR