BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:62333835-6339-4633-b436-366537373063
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:33393832-6635-4839-a362-346263633239
DTSTAMP:20260705T090309Z
DESCRIPTION:
DTSTART:20220427T081500Z
DTEND:20220427T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Kick-Off
END:VEVENT
BEGIN:VEVENT
UID:33663532-3732-4265-b465-336639666266
DTSTAMP:20260705T090309Z
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:65653564-3634-4532-b363-663162323932
DTSTAMP:20260705T090309Z
DESCRIPTION:
DTSTART:20220511T081500Z
DTEND:20220511T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Background - Infinite Games
END:VEVENT
BEGIN:VEVENT
UID:61333235-3763-4366-b261-303135303964
DTSTAMP:20260705T090309Z
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:37333931-3431-4234-a164-363438633034
DTSTAMP:20260705T090309Z
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:65376436-3765-4466-b232-633334333438
DTSTAMP:20260705T090309Z
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:38373931-3863-4930-a637-393932623966
DTSTAMP:20260705T090309Z
DESCRIPTION:
DTSTART:20220629T081500Z
DTEND:20220629T081500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Talks 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:31613634-6232-4163-b065-376532643335
DTSTAMP:20260705T090309Z
DESCRIPTION:
DTSTART:20220706T081500Z
DTEND:20220706T081500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Talk 3
END:VEVENT
BEGIN:VEVENT
UID:36323266-3636-4839-b364-326164646333
DTSTAMP:20260705T090309Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220722
DTEND;VALUE=DATE:20220723
SUMMARY:Pvs: Summary Soft Deadline
END:VEVENT
BEGIN:VEVENT
UID:66353636-3061-4339-b535-323932633561
DTSTAMP:20260705T090309Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220729
DTEND;VALUE=DATE:20220730
SUMMARY:Pvs: Summary Deadline
END:VEVENT
END:VCALENDAR