BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:39313066-6536-4565-b231-363738346533
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:61356261-3164-4861-b261-303436663831
DTSTAMP:20260927T150306Z
DESCRIPTION:
DTSTART:20220427T081500Z
DTEND:20220427T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Kick-Off
END:VEVENT
BEGIN:VEVENT
UID:62323930-6361-4466-b466-346565383830
DTSTAMP:20260927T150306Z
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:65656439-3432-4433-a463-373063363533
DTSTAMP:20260927T150306Z
DESCRIPTION:
DTSTART:20220511T081500Z
DTEND:20220511T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Background - Infinite Games
END:VEVENT
BEGIN:VEVENT
UID:30643932-3563-4637-a161-663038363566
DTSTAMP:20260927T150306Z
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:63386531-3733-4563-a362-343835613433
DTSTAMP:20260927T150306Z
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:66663661-6563-4530-a532-393538346132
DTSTAMP:20260927T150306Z
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:33643032-6338-4130-a531-373162373038
DTSTAMP:20260927T150306Z
DESCRIPTION:
DTSTART:20220629T081500Z
DTEND:20220629T081500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Talks 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:35393165-3663-4139-b362-623764653034
DTSTAMP:20260927T150306Z
DESCRIPTION:
DTSTART:20220706T081500Z
DTEND:20220706T081500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Talk 3
END:VEVENT
BEGIN:VEVENT
UID:37323161-6432-4431-b238-656334303364
DTSTAMP:20260927T150306Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220722
DTEND;VALUE=DATE:20220723
SUMMARY:Pvs: Summary Soft Deadline
END:VEVENT
BEGIN:VEVENT
UID:66626461-3736-4539-b239-353437383835
DTSTAMP:20260927T150306Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220729
DTEND;VALUE=DATE:20220730
SUMMARY:Pvs: Summary Deadline
END:VEVENT
END:VCALENDAR