BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:37633736-3135-4262-a134-653839326163
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:30343463-3532-4262-b732-386134356538
DTSTAMP:20260430T115142Z
DESCRIPTION:
DTSTART:20220421T081500Z
DTEND:20220421T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Kick-Off
END:VEVENT
BEGIN:VEVENT
UID:63666630-6131-4536-a366-643263366531
DTSTAMP:20260430T115142Z
DESCRIPTION:
DTSTART:20220424T215900Z
DTEND:20220424T215900Z
SUMMARY:Paper Preferences
END:VEVENT
BEGIN:VEVENT
UID:65303365-3931-4538-b930-356437616336
DTSTAMP:20260430T115142Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220425
DTEND;VALUE=DATE:20220426
SUMMARY:Paper Notification
END:VEVENT
BEGIN:VEVENT
UID:34663663-3566-4764-a139-343830333566
DTSTAMP:20260430T115142Z
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:63386531-3934-4634-a336-653433666361
DTSTAMP:20260430T115142Z
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:35333061-3538-4534-b166-376637323734
DTSTAMP:20260430T115142Z
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:32373364-3139-4461-b866-333839333764
DTSTAMP:20260430T115142Z
DESCRIPTION:
DTSTART:20220602T081500Z
DTEND:20220602T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Reinforcement Learning
END:VEVENT
BEGIN:VEVENT
UID:30616236-6132-4462-b432-313130333661
DTSTAMP:20260430T115142Z
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:63656434-3530-4638-b031-613864313231
DTSTAMP:20260430T115142Z
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:36363964-3333-4738-b563-353466343137
DTSTAMP:20260430T115142Z
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:61356161-6665-4336-b563-373830666535
DTSTAMP:20260430T115142Z
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:30336465-6231-4433-b965-623535393862
DTSTAMP:20260430T115142Z
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:63393865-6663-4936-b263-336236393938
DTSTAMP:20260430T115142Z
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:35393732-3235-4162-a135-326466353639
DTSTAMP:20260430T115142Z
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:36386261-6237-4939-b464-646161633461
DTSTAMP:20260430T115142Z
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:62386239-3466-4465-a138-346365333461
DTSTAMP:20260430T115142Z
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:65303033-3365-4166-b236-636532373533
DTSTAMP:20260430T115142Z
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:63613531-3965-4437-b264-646238303264
DTSTAMP:20260430T115142Z
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:65303134-3138-4135-b165-663335616235
DTSTAMP:20260430T115142Z
DESCRIPTION:
DTSTART:20220908T215900Z
DTEND:20220908T215900Z
SUMMARY:Project Submission
END:VEVENT
END:VCALENDAR