BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:33313736-3538-4533-b262-326438373630
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:30643864-6339-4361-a434-656263613732
DTSTAMP:20260417T095038Z
DESCRIPTION:
DTSTART:20220427T081500Z
DTEND:20220427T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Kick-Off
END:VEVENT
BEGIN:VEVENT
UID:30353561-3537-4339-b435-656137636339
DTSTAMP:20260417T095038Z
DESCRIPTION:
DTSTART:20220504T081500Z
DTEND:20220504T084500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Background - Automata and LTL
END:VEVENT
BEGIN:VEVENT
UID:33376466-6638-4531-b665-663938663139
DTSTAMP:20260417T095038Z
DESCRIPTION:
DTSTART:20220511T081500Z
DTEND:20220511T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Background - Infinite Games
END:VEVENT
BEGIN:VEVENT
UID:64643861-6433-4339-b962-633232643638
DTSTAMP:20260417T095038Z
DESCRIPTION:
DTSTART:20220525T081500Z
DTEND:20220525T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:How To Give a Great Talk
END:VEVENT
BEGIN:VEVENT
UID:38373131-6333-4062-b266-373864313566
DTSTAMP:20260417T095038Z
DESCRIPTION:
DTSTART:20220601T081500Z
DTEND:20220601T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Practcice Talks 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:39623666-3935-4636-b266-383130303637
DTSTAMP:20260417T095038Z
DESCRIPTION:
DTSTART:20220608T081500Z
DTEND:20220608T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Practcice Talks 3 + 4
END:VEVENT
BEGIN:VEVENT
UID:38323061-6362-4666-b961-666435386339
DTSTAMP:20260417T095038Z
DESCRIPTION:
DTSTART:20220629T081500Z
DTEND:20220629T081500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Talks 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:38353930-3732-4661-a136-343135376433
DTSTAMP:20260417T095038Z
DESCRIPTION:
DTSTART:20220706T081500Z
DTEND:20220706T081500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Talk 3
END:VEVENT
BEGIN:VEVENT
UID:39356665-3631-4533-b935-613666313662
DTSTAMP:20260417T095038Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220722
DTEND;VALUE=DATE:20220723
SUMMARY:Summary Soft Deadline
END:VEVENT
BEGIN:VEVENT
UID:30643333-3734-4433-b135-333362343061
DTSTAMP:20260417T095038Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220729
DTEND;VALUE=DATE:20220730
SUMMARY:Summary Deadline
END:VEVENT
END:VCALENDAR