BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:34323934-6265-4437-b333-646234303437
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:35316362-3562-4533-a163-666264353136
DTSTAMP:20260611T031059Z
DESCRIPTION:
DTSTART:20220427T081500Z
DTEND:20220427T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Kick-Off
END:VEVENT
BEGIN:VEVENT
UID:35623234-6363-4433-b061-323939366232
DTSTAMP:20260611T031059Z
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:35303930-3030-4362-b365-633461333166
DTSTAMP:20260611T031059Z
DESCRIPTION:
DTSTART:20220511T081500Z
DTEND:20220511T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Background - Infinite Games
END:VEVENT
BEGIN:VEVENT
UID:62326637-6635-4635-b863-666632343536
DTSTAMP:20260611T031059Z
DESCRIPTION:
DTSTART:20220525T081500Z
DTEND:20220525T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: How To Give a Great Talk
END:VEVENT
BEGIN:VEVENT
UID:39656561-6533-4264-b165-316239366431
DTSTAMP:20260611T031059Z
DESCRIPTION:
DTSTART:20220601T081500Z
DTEND:20220601T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Practcice Talks 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:63623333-3234-4463-b931-363239393065
DTSTAMP:20260611T031059Z
DESCRIPTION:
DTSTART:20220608T081500Z
DTEND:20220608T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Practcice Talks 3 + 4
END:VEVENT
BEGIN:VEVENT
UID:62393530-3466-4264-a566-653732353261
DTSTAMP:20260611T031059Z
DESCRIPTION:
DTSTART:20220629T081500Z
DTEND:20220629T081500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Talks 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:63323838-3365-4364-b837-643238313734
DTSTAMP:20260611T031059Z
DESCRIPTION:
DTSTART:20220706T081500Z
DTEND:20220706T081500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Talk 3
END:VEVENT
BEGIN:VEVENT
UID:61356162-3436-4235-b565-306663383932
DTSTAMP:20260611T031059Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220722
DTEND;VALUE=DATE:20220723
SUMMARY:Pvs: Summary Soft Deadline
END:VEVENT
BEGIN:VEVENT
UID:36366333-6135-4064-b535-373461616136
DTSTAMP:20260611T031059Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220729
DTEND;VALUE=DATE:20220730
SUMMARY:Pvs: Summary Deadline
END:VEVENT
END:VCALENDAR