BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:37623564-3337-4133-b962-663732636138
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:66373534-6137-4465-a330-323631343939
DTSTAMP:20261017T171201Z
DESCRIPTION:
DTSTART:20220504T081500Z
DTEND:20220504T084500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Background - Automata and LTL
END:VEVENT
BEGIN:VEVENT
UID:66306632-3537-4233-a235-343164346438
DTSTAMP:20261017T171201Z
DESCRIPTION:
DTSTART:20220511T081500Z
DTEND:20220511T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Background - Infinite Games
END:VEVENT
BEGIN:VEVENT
UID:34363933-6233-4233-b938-366532306166
DTSTAMP:20261017T171201Z
DESCRIPTION:
DTSTART:20220525T081500Z
DTEND:20220525T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: How To Give a Great Talk
END:VEVENT
END:VCALENDAR