BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:30366361-3434-4337-b066-636362333464
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:34323035-3030-4731-b864-353138353263
DTSTAMP:20261017T171111Z
DESCRIPTION:
DTSTART:20220427T081500Z
DTEND:20220427T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Kick-Off
END:VEVENT
BEGIN:VEVENT
UID:33373733-6138-4238-b663-663632643134
DTSTAMP:20261017T171111Z
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:38376632-6638-4233-b139-373966623338
DTSTAMP:20261017T171111Z
DESCRIPTION:
DTSTART:20220511T081500Z
DTEND:20220511T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Background - Infinite Games
END:VEVENT
BEGIN:VEVENT
UID:63306533-3138-4534-b365-626565633262
DTSTAMP:20261017T171111Z
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:63336636-3565-4063-b536-383733323031
DTSTAMP:20261017T171111Z
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:37393864-6334-4132-b063-326632646366
DTSTAMP:20261017T171111Z
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:38343362-3964-4434-b639-613839353164
DTSTAMP:20261017T171111Z
DESCRIPTION:
DTSTART:20220629T081500Z
DTEND:20220629T081500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Talks 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:61366561-3066-4235-b765-386561303834
DTSTAMP:20261017T171111Z
DESCRIPTION:
DTSTART:20220706T081500Z
DTEND:20220706T081500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Talk 3
END:VEVENT
BEGIN:VEVENT
UID:32343834-3166-4739-b061-663161373665
DTSTAMP:20261017T171111Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220722
DTEND;VALUE=DATE:20220723
SUMMARY:Pvs: Summary Soft Deadline
END:VEVENT
BEGIN:VEVENT
UID:35343963-3962-4565-b130-333835613166
DTSTAMP:20261017T171111Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220729
DTEND;VALUE=DATE:20220730
SUMMARY:Pvs: Summary Deadline
END:VEVENT
END:VCALENDAR