BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:66353332-3164-4538-a538-383031353066
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:64336461-3163-4463-a662-333232643864
DTSTAMP:20260726T145533Z
DESCRIPTION:
DTSTART:20220421T081500Z
DTEND:20220421T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Kick-Off
END:VEVENT
BEGIN:VEVENT
UID:34376137-3034-4431-b832-386433373636
DTSTAMP:20260726T145533Z
DESCRIPTION:
DTSTART:20220424T215900Z
DTEND:20220424T215900Z
SUMMARY:Paper Preferences
END:VEVENT
BEGIN:VEVENT
UID:39613434-3466-4864-b661-653637633039
DTSTAMP:20260726T145533Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220425
DTEND;VALUE=DATE:20220426
SUMMARY:Paper Notification
END:VEVENT
BEGIN:VEVENT
UID:31326365-3231-4163-a462-323564323330
DTSTAMP:20260726T145533Z
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:34316639-3464-4166-b736-353833643137
DTSTAMP:20260726T145533Z
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:32383434-6435-4464-b661-656637393634
DTSTAMP:20260726T145533Z
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:37383366-3532-4164-b837-376665656462
DTSTAMP:20260726T145533Z
DESCRIPTION:
DTSTART:20220602T081500Z
DTEND:20220602T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Reinforcement Learning
END:VEVENT
BEGIN:VEVENT
UID:34363830-6263-4132-b631-333561663237
DTSTAMP:20260726T145533Z
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:34333438-6138-4034-b864-653265373265
DTSTAMP:20260726T145533Z
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:30666264-3261-4238-a532-306162376264
DTSTAMP:20260726T145533Z
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:62343333-3837-4465-b730-376435616663
DTSTAMP:20260726T145533Z
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:61393630-3232-4366-b966-346139346564
DTSTAMP:20260726T145533Z
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:61396265-3433-4730-a335-366330613765
DTSTAMP:20260726T145533Z
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:62613463-6333-4032-a139-623930373162
DTSTAMP:20260726T145533Z
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:34363664-3234-4438-b665-323462326463
DTSTAMP:20260726T145533Z
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:32323833-6262-4638-a663-666434356430
DTSTAMP:20260726T145533Z
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:35626536-3162-4734-a165-336335303364
DTSTAMP:20260726T145533Z
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:37393430-3133-4639-b431-656335353632
DTSTAMP:20260726T145533Z
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:31336630-6238-4636-b739-623962363639
DTSTAMP:20260726T145533Z
DESCRIPTION:
DTSTART:20220908T215900Z
DTEND:20220908T215900Z
SUMMARY:Project Submission
END:VEVENT
END:VCALENDAR