BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:65616539-3466-4730-b638-366362373232
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:31393736-6663-4238-b661-633936306336
DTSTAMP:20260816T010733Z
DESCRIPTION:
DTSTART:20220421T081500Z
DTEND:20220421T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Kick-Off
END:VEVENT
BEGIN:VEVENT
UID:36636531-6339-4232-b261-373462353232
DTSTAMP:20260816T010733Z
DESCRIPTION:
DTSTART:20220424T215900Z
DTEND:20220424T215900Z
SUMMARY:Paper Preferences
END:VEVENT
BEGIN:VEVENT
UID:35646632-6365-4933-b261-366135373635
DTSTAMP:20260816T010733Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220425
DTEND;VALUE=DATE:20220426
SUMMARY:Paper Notification
END:VEVENT
BEGIN:VEVENT
UID:38356534-3362-4962-a630-646633616462
DTSTAMP:20260816T010733Z
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:32646365-3732-4134-a435-663364663332
DTSTAMP:20260816T010733Z
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:31353532-3635-4261-a464-633032666133
DTSTAMP:20260816T010733Z
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:35383633-3530-4835-a435-383036343637
DTSTAMP:20260816T010733Z
DESCRIPTION:
DTSTART:20220602T081500Z
DTEND:20220602T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Reinforcement Learning
END:VEVENT
BEGIN:VEVENT
UID:38623035-3965-4332-a139-306366313039
DTSTAMP:20260816T010733Z
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:62653964-6362-4337-b331-313666336138
DTSTAMP:20260816T010733Z
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:36353431-3835-4262-a132-636164346232
DTSTAMP:20260816T010733Z
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:64646634-3862-4136-b861-366331313830
DTSTAMP:20260816T010733Z
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:37366133-3339-4139-a132-306164373437
DTSTAMP:20260816T010733Z
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:65373331-6439-4230-b938-363430356132
DTSTAMP:20260816T010733Z
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:37616662-3865-4566-a165-656637383364
DTSTAMP:20260816T010733Z
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:31363764-3364-4566-a663-343937383030
DTSTAMP:20260816T010733Z
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:32376534-6635-4364-b366-633531343863
DTSTAMP:20260816T010733Z
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:39343362-3566-4036-a432-363761393663
DTSTAMP:20260816T010733Z
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:63616561-6535-4166-a535-343632343736
DTSTAMP:20260816T010733Z
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:32376566-3935-4632-a534-646661623238
DTSTAMP:20260816T010733Z
DESCRIPTION:
DTSTART:20220908T215900Z
DTEND:20220908T215900Z
SUMMARY:Project Submission
END:VEVENT
END:VCALENDAR