BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:36653530-6137-4463-b436-376166326630
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:62653764-3438-4931-b866-663663313233
DTSTAMP:20260726T145651Z
DESCRIPTION:
DTSTART:20220427T081500Z
DTEND:20220427T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Kick-Off
END:VEVENT
BEGIN:VEVENT
UID:39646238-6161-4863-a161-663239653166
DTSTAMP:20260726T145651Z
DESCRIPTION:
DTSTART:20220504T081500Z
DTEND:20220504T084500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Background - Automata and LTL
END:VEVENT
BEGIN:VEVENT
UID:35633962-3766-4665-b639-323832363563
DTSTAMP:20260726T145651Z
DESCRIPTION:
DTSTART:20220511T081500Z
DTEND:20220511T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Background - Infinite Games
END:VEVENT
BEGIN:VEVENT
UID:64393132-3666-4733-b439-653631646366
DTSTAMP:20260726T145651Z
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:36313639-3534-4139-a531-623863326166
DTSTAMP:20260726T145651Z
DESCRIPTION:
DTSTART:20220601T081500Z
DTEND:20220601T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Practcice Talks 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:64316330-3433-4639-a439-643632663966
DTSTAMP:20260726T145651Z
DESCRIPTION:
DTSTART:20220608T081500Z
DTEND:20220608T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Practcice Talks 3 + 4
END:VEVENT
BEGIN:VEVENT
UID:35396136-3839-4030-b535-626166396630
DTSTAMP:20260726T145651Z
DESCRIPTION:
DTSTART:20220629T081500Z
DTEND:20220629T081500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Talks 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:64623735-3438-4665-b833-386264303962
DTSTAMP:20260726T145651Z
DESCRIPTION:
DTSTART:20220706T081500Z
DTEND:20220706T081500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Talk 3
END:VEVENT
BEGIN:VEVENT
UID:37356362-3466-4462-a239-396535373931
DTSTAMP:20260726T145651Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220722
DTEND;VALUE=DATE:20220723
SUMMARY:Summary Soft Deadline
END:VEVENT
BEGIN:VEVENT
UID:61386364-6461-4935-b166-356139316266
DTSTAMP:20260726T145651Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220729
DTEND;VALUE=DATE:20220730
SUMMARY:Summary Deadline
END:VEVENT
END:VCALENDAR