BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:30636532-3961-4431-b962-663338336132
X-WR-CALNAME:Formal Methods for AI Safety Calendar
X-WR-CALDESC:Events of the lecture Formal Methods for AI Safety
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:66323963-3862-4338-a265-633133303135
DTSTAMP:20260611T032716Z
DESCRIPTION:
DTSTART:20230504T141500Z
DTEND:20230504T154500Z
LOCATION:E9.1 (CISPA Building)\, meeting room 0.01
SUMMARY:Fmai: Kickoff meeting
END:VEVENT
BEGIN:VEVENT
UID:64306164-3263-4735-b036-386266633964
DTSTAMP:20260611T032716Z
DESCRIPTION:
DTSTART:20230511T141500Z
DTEND:20230511T154500Z
LOCATION:E9.1 (CISPA Building)\, meeting room 3.21
SUMMARY:Fmai: Lecture: Brief Intro to Formal Methods
END:VEVENT
BEGIN:VEVENT
UID:39663736-6134-4331-a232-363437626465
DTSTAMP:20260611T032716Z
DESCRIPTION:Paper: [2] An Abstraction-Based Framework for Neural Network Ve
 rification\;\n\nPresenter: Nikhil George
DTSTART:20230601T141500Z
DTEND:20230601T154500Z
LOCATION:E9.1 (CISPA Building)\, meeting room 3.21
SUMMARY:Fmai: Meeting
END:VEVENT
BEGIN:VEVENT
UID:33636665-6438-4236-b238-323433393930
DTSTAMP:20260611T032716Z
DESCRIPTION:Paper: [6] Requirements-driven Test Generation for Autonomous V
 ehicles with Machine Learning Components\;\n\nPresenter: Paul Eichler
DTSTART:20230622T141500Z
DTEND:20230622T154500Z
LOCATION:E9.1 (CISPA Building)\, meeting room 0.07
SUMMARY:Fmai: Meeting
END:VEVENT
BEGIN:VEVENT
UID:38663732-3538-4633-a162-373135623437
DTSTAMP:20260611T032716Z
DESCRIPTION:Paper: [11] Guiding Safe Exploration With Weakest Precondition\
 ;\n\nPresenter: Nicola Müller
DTSTART:20230629T141500Z
DTEND:20230629T154500Z
LOCATION:E9.1 (CISPA Building)\, meeting room 3.21
SUMMARY:Fmai: Meeting
END:VEVENT
BEGIN:VEVENT
UID:64636138-3566-4334-a630-323539326163
DTSTAMP:20260611T032716Z
DESCRIPTION:Paper: [13] Abduction-Based Explanations for Machine Learning M
 odels\;\nPresenter: Ole Keil
DTSTART:20230713T141500Z
DTEND:20230713T154500Z
LOCATION:E9.1 (CISPA Building)\, meeting room 3.21
SUMMARY:Fmai: Meeting
END:VEVENT
BEGIN:VEVENT
UID:62306366-3938-4262-a433-313239376634
DTSTAMP:20260611T032716Z
DESCRIPTION:Paper: [15] Synthesizing Action Sequences for Modifying Model D
 ecisions\;\nPresenter: Akbar Adam
DTSTART:20230727T141500Z
DTEND:20230727T154500Z
LOCATION:E9.1 (CISPA Building)\, meeting room 3.21
SUMMARY:Fmai: Meeting
END:VEVENT
END:VCALENDAR