BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:62363531-3232-4738-a134-356436643636
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:63313064-3363-4534-b933-613961656136
DTSTAMP:20260905T171648Z
DESCRIPTION:
DTSTART:20220421T081500Z
DTEND:20220421T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Nsc: Kick-Off
END:VEVENT
BEGIN:VEVENT
UID:61323530-6230-4661-b631-303763306564
DTSTAMP:20260905T171648Z
DESCRIPTION:
DTSTART:20220424T215900Z
DTEND:20220424T215900Z
SUMMARY:Nsc: Paper Preferences
END:VEVENT
BEGIN:VEVENT
UID:65323130-3130-4164-b637-636438623666
DTSTAMP:20260905T171648Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220425
DTEND;VALUE=DATE:20220426
SUMMARY:Nsc: Paper Notification
END:VEVENT
BEGIN:VEVENT
UID:34393466-3936-4162-b939-356339633266
DTSTAMP:20260905T171648Z
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:34633563-6231-4638-a265-636436373638
DTSTAMP:20260905T171648Z
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:32363165-3137-4365-b532-643335333263
DTSTAMP:20260905T171648Z
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:33633966-6364-4466-b265-383332656130
DTSTAMP:20260905T171648Z
DESCRIPTION:
DTSTART:20220602T081500Z
DTEND:20220602T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Nsc: Reinforcement Learning
END:VEVENT
BEGIN:VEVENT
UID:64393139-3165-4335-a366-373431393563
DTSTAMP:20260905T171648Z
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:66326632-3532-4438-b864-356235656663
DTSTAMP:20260905T171648Z
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:37393565-3035-4966-b563-353230323833
DTSTAMP:20260905T171648Z
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:30323261-3132-4665-a330-396634623134
DTSTAMP:20260905T171648Z
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:36306636-3335-4733-a639-643234656363
DTSTAMP:20260905T171648Z
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:36386466-6163-4438-b062-633730333533
DTSTAMP:20260905T171648Z
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:31343664-3330-4139-b563-653733636534
DTSTAMP:20260905T171648Z
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:65323464-3964-4466-b034-623864376336
DTSTAMP:20260905T171648Z
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:65653334-3432-4664-a139-386365323865
DTSTAMP:20260905T171648Z
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:65303034-6233-4430-b164-633462663063
DTSTAMP:20260905T171648Z
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:30343966-3930-4262-b133-303932313638
DTSTAMP:20260905T171648Z
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:36666433-6530-4139-a338-643565663439
DTSTAMP:20260905T171648Z
DESCRIPTION:
DTSTART:20220908T215900Z
DTEND:20220908T215900Z
SUMMARY:Nsc: Project Submission
END:VEVENT
END:VCALENDAR