BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:64653935-6430-4830-b632-323963663936
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:39346330-3931-4662-b037-666434356638
DTSTAMP:20260726T214415Z
DESCRIPTION:
DTSTART:20220421T081500Z
DTEND:20220421T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Nsc: Kick-Off
END:VEVENT
BEGIN:VEVENT
UID:63616136-3436-4132-b961-363533303838
DTSTAMP:20260726T214415Z
DESCRIPTION:
DTSTART:20220424T215900Z
DTEND:20220424T215900Z
SUMMARY:Nsc: Paper Preferences
END:VEVENT
BEGIN:VEVENT
UID:38336134-3762-4733-a564-653232303762
DTSTAMP:20260726T214415Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220425
DTEND;VALUE=DATE:20220426
SUMMARY:Nsc: Paper Notification
END:VEVENT
BEGIN:VEVENT
UID:32656231-3564-4635-b263-383537663465
DTSTAMP:20260726T214415Z
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:64656534-6365-4764-a637-636666326138
DTSTAMP:20260726T214415Z
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:62353837-6466-4138-b139-323362666164
DTSTAMP:20260726T214415Z
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:62313136-3238-4730-b634-376531626237
DTSTAMP:20260726T214415Z
DESCRIPTION:
DTSTART:20220602T081500Z
DTEND:20220602T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Nsc: Reinforcement Learning
END:VEVENT
BEGIN:VEVENT
UID:66383533-3333-4266-b435-303235623436
DTSTAMP:20260726T214415Z
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:64363064-3632-4562-b537-396466383837
DTSTAMP:20260726T214415Z
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:32306637-3538-4061-b031-626538366335
DTSTAMP:20260726T214415Z
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:63393730-6435-4236-a232-313535336234
DTSTAMP:20260726T214415Z
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:62373766-6363-4631-a434-346534386530
DTSTAMP:20260726T214415Z
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:38393638-6239-4963-b737-643366633662
DTSTAMP:20260726T214415Z
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:32653335-6237-4664-b531-636133643965
DTSTAMP:20260726T214415Z
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:32353562-3236-4661-b836-646533353063
DTSTAMP:20260726T214415Z
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:32363033-6339-4438-a163-626536653438
DTSTAMP:20260726T214415Z
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:36313334-6633-4466-a137-663634363065
DTSTAMP:20260726T214415Z
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:65666665-3531-4235-b339-383835373032
DTSTAMP:20260726T214415Z
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:36663236-6137-4966-a434-623361366566
DTSTAMP:20260726T214415Z
DESCRIPTION:
DTSTART:20220908T215900Z
DTEND:20220908T215900Z
SUMMARY:Nsc: Project Submission
END:VEVENT
END:VCALENDAR