BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:63343266-3061-4266-b262-303461373833
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:64356664-3164-4335-b435-383264303861
DTSTAMP:20261106T192021Z
DESCRIPTION:
DTSTART:20220504T081500Z
DTEND:20220504T084500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Background - Automata and LTL
END:VEVENT
BEGIN:VEVENT
UID:39626135-3235-4362-b965-626531666430
DTSTAMP:20261106T192021Z
DESCRIPTION:
DTSTART:20220511T081500Z
DTEND:20220511T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Background - Infinite Games
END:VEVENT
BEGIN:VEVENT
UID:64333131-3432-4537-a132-653032366430
DTSTAMP:20261106T192021Z
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