BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:33333238-3433-4065-a638-666532663138
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:66363161-6330-4431-a631-666266393236
DTSTAMP:20260905T084333Z
DESCRIPTION:
DTSTART:20220421T081500Z
DTEND:20220421T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Kick-Off
END:VEVENT
BEGIN:VEVENT
UID:31356365-3764-4762-b766-623663643238
DTSTAMP:20260905T084333Z
DESCRIPTION:
DTSTART:20220424T215900Z
DTEND:20220424T215900Z
SUMMARY:Paper Preferences
END:VEVENT
BEGIN:VEVENT
UID:64666433-3664-4437-a563-346562666432
DTSTAMP:20260905T084333Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220425
DTEND;VALUE=DATE:20220426
SUMMARY:Paper Notification
END:VEVENT
BEGIN:VEVENT
UID:61353933-3761-4037-b461-363532393039
DTSTAMP:20260905T084333Z
DESCRIPTION:
DTSTART:20220505T081500Z
DTEND:20220505T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Feedforward and Recurrent Neural Networks
END:VEVENT
BEGIN:VEVENT
UID:30376334-3566-4561-a231-356639323436
DTSTAMP:20260905T084333Z
DESCRIPTION:
DTSTART:20220512T081500Z
DTEND:20220512T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Graph Neural Networks and Message Passing
END:VEVENT
BEGIN:VEVENT
UID:37643061-3732-4439-a235-366134633131
DTSTAMP:20260905T084333Z
DESCRIPTION:
DTSTART:20220519T081500Z
DTEND:20220519T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Transformers and Large Language Models
END:VEVENT
BEGIN:VEVENT
UID:63326161-6265-4337-b562-323264363130
DTSTAMP:20260905T084333Z
DESCRIPTION:
DTSTART:20220602T081500Z
DTEND:20220602T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Reinforcement Learning
END:VEVENT
BEGIN:VEVENT
UID:64346630-3766-4432-b865-653464336362
DTSTAMP:20260905T084333Z
DESCRIPTION:
DTSTART:20220623T081500Z
DTEND:20220623T090000Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Data-Driven Approximations to NP-Hard Problems
END:VEVENT
BEGIN:VEVENT
UID:36396234-3565-4665-b262-383830663736
DTSTAMP:20260905T084333Z
DESCRIPTION:
DTSTART:20220623T090000Z
DTEND:20220623T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Learning a SAT Solver from Single-Bit Supervision
END:VEVENT
BEGIN:VEVENT
UID:37373331-6632-4334-a139-643266383766
DTSTAMP:20260905T084333Z
DESCRIPTION:
DTSTART:20220630T081500Z
DTEND:20220630T090000Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Graph Representations for Higher-Order Logic and Theorem Proving
END:VEVENT
BEGIN:VEVENT
UID:65623434-6663-4239-a239-626536353062
DTSTAMP:20260905T084333Z
DESCRIPTION:
DTSTART:20220630T090000Z
DTEND:20220630T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Learning to Represent Programs with Graphs
END:VEVENT
BEGIN:VEVENT
UID:39333632-6562-4330-a131-313066633735
DTSTAMP:20260905T084333Z
DESCRIPTION:
DTSTART:20220707T081500Z
DTEND:20220707T090000Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Teaching Temporal Logics to Neural Networks
END:VEVENT
BEGIN:VEVENT
UID:33353865-3062-4462-b166-373536626334
DTSTAMP:20260905T084333Z
DESCRIPTION:
DTSTART:20220707T090000Z
DTEND:20220707T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Competition-Level Code Generation with AlphaCode
END:VEVENT
BEGIN:VEVENT
UID:65653365-6536-4133-b935-613734616237
DTSTAMP:20260905T084333Z
DESCRIPTION:
DTSTART:20220707T094500Z
DTEND:20220707T103000Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Advancing Mathematics by Guiding Human Intuition with AI
END:VEVENT
BEGIN:VEVENT
UID:32623863-3338-4435-b565-666432643839
DTSTAMP:20260905T084333Z
DESCRIPTION:
DTSTART:20220714T081500Z
DTEND:20220714T090000Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Evaluating Large Language Models Trained on Code
END:VEVENT
BEGIN:VEVENT
UID:66356662-3639-4233-b364-383932376333
DTSTAMP:20260905T084333Z
DESCRIPTION:
DTSTART:20220714T090000Z
DTEND:20220714T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Mastering the Game of Go with Deep Neural Networks and Tree Search
END:VEVENT
BEGIN:VEVENT
UID:65646566-3034-4432-b563-393838386461
DTSTAMP:20260905T084333Z
DESCRIPTION:
DTSTART:20220721T081500Z
DTEND:20220721T090000Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Learning Combinatorial Optimization Algorithms over Graphs
END:VEVENT
BEGIN:VEVENT
UID:32393135-6565-4432-b764-633363383432
DTSTAMP:20260905T084333Z
DESCRIPTION:
DTSTART:20220721T090000Z
DTEND:20220721T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Learning to Solve SMT Formulas
END:VEVENT
BEGIN:VEVENT
UID:66346336-3439-4166-b539-383562313266
DTSTAMP:20260905T084333Z
DESCRIPTION:
DTSTART:20220908T215900Z
DTEND:20220908T215900Z
SUMMARY:Project Submission
END:VEVENT
END:VCALENDAR