BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:36326264-3663-4137-b830-666463643136
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:35643738-3432-4566-b066-366638663161
DTSTAMP:20260816T010746Z
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:38366536-3132-4434-b166-333063373931
DTSTAMP:20260816T010746Z
DESCRIPTION:
DTSTART:20220511T081500Z
DTEND:20220511T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Background - Infinite Games
END:VEVENT
BEGIN:VEVENT
UID:36666166-3465-4162-a466-633363373766
DTSTAMP:20260816T010746Z
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