BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:31326637-6361-4534-a532-393365333262
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:61373439-3133-4565-a363-643534623836
DTSTAMP:20260816T010730Z
DESCRIPTION:
DTSTART:20220427T081500Z
DTEND:20220427T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Kick-Off
END:VEVENT
BEGIN:VEVENT
UID:64666133-6535-4136-a461-353833373735
DTSTAMP:20260816T010730Z
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:37336337-6263-4235-b635-303537666264
DTSTAMP:20260816T010730Z
DESCRIPTION:
DTSTART:20220511T081500Z
DTEND:20220511T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Background - Infinite Games
END:VEVENT
BEGIN:VEVENT
UID:61346266-3933-4838-a632-643635383438
DTSTAMP:20260816T010730Z
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:62326565-3165-4136-b761-653931643565
DTSTAMP:20260816T010730Z
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:30306235-3135-4238-a439-363433316639
DTSTAMP:20260816T010730Z
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:61653565-6231-4234-b763-633438653333
DTSTAMP:20260816T010730Z
DESCRIPTION:
DTSTART:20220629T081500Z
DTEND:20220629T081500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Talks 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:35313666-3731-4566-b432-323138623436
DTSTAMP:20260816T010730Z
DESCRIPTION:
DTSTART:20220706T081500Z
DTEND:20220706T081500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Talk 3
END:VEVENT
BEGIN:VEVENT
UID:62376535-3965-4763-b130-313465343935
DTSTAMP:20260816T010730Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220722
DTEND;VALUE=DATE:20220723
SUMMARY:Pvs: Summary Soft Deadline
END:VEVENT
BEGIN:VEVENT
UID:34333261-6232-4338-b464-313662663165
DTSTAMP:20260816T010730Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220729
DTEND;VALUE=DATE:20220730
SUMMARY:Pvs: Summary Deadline
END:VEVENT
END:VCALENDAR