BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:65343561-3531-4932-a564-613864643861
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:30343432-3266-4262-a338-653532383832
DTSTAMP:20260726T155917Z
DESCRIPTION:
DTSTART:20220421T081500Z
DTEND:20220421T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Nsc: Kick-Off
END:VEVENT
BEGIN:VEVENT
UID:32373862-3737-4236-b334-363266356330
DTSTAMP:20260726T155917Z
DESCRIPTION:
DTSTART:20220424T215900Z
DTEND:20220424T215900Z
SUMMARY:Nsc: Paper Preferences
END:VEVENT
BEGIN:VEVENT
UID:63623638-3162-4238-a465-373564623635
DTSTAMP:20260726T155917Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220425
DTEND;VALUE=DATE:20220426
SUMMARY:Nsc: Paper Notification
END:VEVENT
BEGIN:VEVENT
UID:66363261-3838-4634-a662-353865653632
DTSTAMP:20260726T155917Z
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:33363633-6262-4930-a466-306633313362
DTSTAMP:20260726T155917Z
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:65643339-6337-4562-a538-623037616262
DTSTAMP:20260726T155917Z
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:30663037-3637-4562-b162-633765373436
DTSTAMP:20260726T155917Z
DESCRIPTION:
DTSTART:20220602T081500Z
DTEND:20220602T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Nsc: Reinforcement Learning
END:VEVENT
BEGIN:VEVENT
UID:63643131-3630-4262-a138-316335616166
DTSTAMP:20260726T155917Z
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:32383733-3838-4561-a537-653039646661
DTSTAMP:20260726T155917Z
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:63356334-3939-4464-b739-376566613034
DTSTAMP:20260726T155917Z
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:39376233-6365-4266-a366-323465636563
DTSTAMP:20260726T155917Z
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:38373462-6530-4633-b864-313261386366
DTSTAMP:20260726T155917Z
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:36343431-6239-4562-b135-306632666666
DTSTAMP:20260726T155917Z
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:34386265-6138-4239-b665-383634643666
DTSTAMP:20260726T155917Z
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:30613536-3336-4236-a165-316265353533
DTSTAMP:20260726T155917Z
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:65323163-6464-4031-b631-353035343266
DTSTAMP:20260726T155917Z
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:62353062-6236-4165-a238-386131383163
DTSTAMP:20260726T155917Z
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:35616161-3063-4638-a263-336666653136
DTSTAMP:20260726T155917Z
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:32646539-3661-4131-b734-366533663234
DTSTAMP:20260726T155917Z
DESCRIPTION:
DTSTART:20220908T215900Z
DTEND:20220908T215900Z
SUMMARY:Nsc: Project Submission
END:VEVENT
END:VCALENDAR