BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:36396261-6336-4431-b230-646166393762
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:64333834-3630-4530-a161-613862326131
DTSTAMP:20260926T172020Z
DESCRIPTION:
DTSTART:20220421T081500Z
DTEND:20220421T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Kick-Off
END:VEVENT
BEGIN:VEVENT
UID:39303839-3939-4431-b430-303265623063
DTSTAMP:20260926T172020Z
DESCRIPTION:
DTSTART:20220424T215900Z
DTEND:20220424T215900Z
SUMMARY:Paper Preferences
END:VEVENT
BEGIN:VEVENT
UID:39343661-6237-4763-a432-303832653838
DTSTAMP:20260926T172020Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220425
DTEND;VALUE=DATE:20220426
SUMMARY:Paper Notification
END:VEVENT
BEGIN:VEVENT
UID:64353462-3237-4863-b765-386639336165
DTSTAMP:20260926T172020Z
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:63363166-3231-4430-b530-636131613638
DTSTAMP:20260926T172020Z
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:38373936-3263-4437-b837-666463633035
DTSTAMP:20260926T172020Z
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:61383765-6234-4761-b637-333232343163
DTSTAMP:20260926T172020Z
DESCRIPTION:
DTSTART:20220602T081500Z
DTEND:20220602T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Reinforcement Learning
END:VEVENT
BEGIN:VEVENT
UID:63346365-3330-4132-b535-636233346536
DTSTAMP:20260926T172020Z
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:66666537-6563-4638-a231-383763373365
DTSTAMP:20260926T172020Z
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:35383238-3938-4431-a430-613532643730
DTSTAMP:20260926T172020Z
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:35306566-6234-4632-a439-666163303530
DTSTAMP:20260926T172020Z
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:62613665-3836-4264-b435-343933393963
DTSTAMP:20260926T172020Z
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:62343636-3163-4636-b430-373536626365
DTSTAMP:20260926T172020Z
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:35363635-6366-4561-a439-353861303038
DTSTAMP:20260926T172020Z
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:65616233-3361-4535-a461-316231313931
DTSTAMP:20260926T172020Z
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:30313732-6239-4863-a230-633032313464
DTSTAMP:20260926T172020Z
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:62366635-3763-4738-a261-636330313331
DTSTAMP:20260926T172020Z
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:33626630-3664-4137-a233-663536346664
DTSTAMP:20260926T172020Z
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:31653565-6634-4439-a436-623263363264
DTSTAMP:20260926T172020Z
DESCRIPTION:
DTSTART:20220908T215900Z
DTEND:20220908T215900Z
SUMMARY:Project Submission
END:VEVENT
END:VCALENDAR