BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:65383462-3764-4165-a566-386535383230
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:62643364-6565-4233-a466-363236336362
DTSTAMP:20261017T171024Z
DESCRIPTION:
DTSTART:20220427T081500Z
DTEND:20220427T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Kick-Off
END:VEVENT
BEGIN:VEVENT
UID:31396432-6238-4566-b261-306234326138
DTSTAMP:20261017T171024Z
DESCRIPTION:
DTSTART:20220504T081500Z
DTEND:20220504T084500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Background - Automata and LTL
END:VEVENT
BEGIN:VEVENT
UID:30613965-6137-4262-a531-393130353163
DTSTAMP:20261017T171024Z
DESCRIPTION:
DTSTART:20220511T081500Z
DTEND:20220511T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Background - Infinite Games
END:VEVENT
BEGIN:VEVENT
UID:34383838-3239-4864-b636-336136383331
DTSTAMP:20261017T171024Z
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:63316462-3736-4639-a539-313135373536
DTSTAMP:20261017T171024Z
DESCRIPTION:
DTSTART:20220601T081500Z
DTEND:20220601T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Practcice Talks 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:65313034-3136-4031-b464-353332353236
DTSTAMP:20261017T171024Z
DESCRIPTION:
DTSTART:20220608T081500Z
DTEND:20220608T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Practcice Talks 3 + 4
END:VEVENT
BEGIN:VEVENT
UID:32663864-3030-4436-b634-353331616163
DTSTAMP:20261017T171024Z
DESCRIPTION:
DTSTART:20220629T081500Z
DTEND:20220629T081500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Talks 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:66616332-3234-4135-b530-383936623633
DTSTAMP:20261017T171024Z
DESCRIPTION:
DTSTART:20220706T081500Z
DTEND:20220706T081500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Talk 3
END:VEVENT
BEGIN:VEVENT
UID:62636562-3565-4164-a266-653233323338
DTSTAMP:20261017T171024Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220722
DTEND;VALUE=DATE:20220723
SUMMARY:Summary Soft Deadline
END:VEVENT
BEGIN:VEVENT
UID:64303639-6433-4466-b032-653731323334
DTSTAMP:20261017T171024Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220729
DTEND;VALUE=DATE:20220730
SUMMARY:Summary Deadline
END:VEVENT
END:VCALENDAR