BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:62616537-3135-4761-b063-323737386464
X-WR-CALNAME:From Program Verification to Synthesis Calendar
X-WR-CALDESC:Events of the lecture From Program Verification to Synthesis
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:65636461-3537-4561-b130-383463623436
DTSTAMP:20260611T041502Z
DESCRIPTION:
DTSTART:20220504T081500Z
DTEND:20220504T084500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Background - Automata and LTL
END:VEVENT
BEGIN:VEVENT
UID:63623965-6162-4630-a332-653964616131
DTSTAMP:20260611T041502Z
DESCRIPTION:
DTSTART:20220511T081500Z
DTEND:20220511T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Background - Infinite Games
END:VEVENT
BEGIN:VEVENT
UID:38643432-3231-4463-a138-633962303439
DTSTAMP:20260611T041502Z
DESCRIPTION:
DTSTART:20220525T081500Z
DTEND:20220525T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:How To Give a Great Talk
END:VEVENT
END:VCALENDAR