BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:31346530-6233-4036-b365-373937663235
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:65636366-3638-4466-b665-353963643839
DTSTAMP:20260611T052626Z
DESCRIPTION:
DTSTART:20220427T081500Z
DTEND:20220427T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Kick-Off
END:VEVENT
BEGIN:VEVENT
UID:31643362-3563-4237-b139-643033326539
DTSTAMP:20260611T052626Z
DESCRIPTION:
DTSTART:20220504T081500Z
DTEND:20220504T084500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Background - Automata and LTL
END:VEVENT
BEGIN:VEVENT
UID:31343364-6137-4133-b439-343938393462
DTSTAMP:20260611T052626Z
DESCRIPTION:
DTSTART:20220511T081500Z
DTEND:20220511T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Background - Infinite Games
END:VEVENT
BEGIN:VEVENT
UID:62633762-6463-4239-a162-306334393763
DTSTAMP:20260611T052626Z
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:38666235-3564-4366-a338-643966616233
DTSTAMP:20260611T052626Z
DESCRIPTION:
DTSTART:20220601T081500Z
DTEND:20220601T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Practcice Talks 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:31313632-3262-4139-b765-366230613932
DTSTAMP:20260611T052626Z
DESCRIPTION:
DTSTART:20220608T081500Z
DTEND:20220608T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Practcice Talks 3 + 4
END:VEVENT
BEGIN:VEVENT
UID:30336361-6630-4963-b434-333661663538
DTSTAMP:20260611T052626Z
DESCRIPTION:
DTSTART:20220629T081500Z
DTEND:20220629T081500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Talks 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:61383036-6663-4337-a235-613130353665
DTSTAMP:20260611T052626Z
DESCRIPTION:
DTSTART:20220706T081500Z
DTEND:20220706T081500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Talk 3
END:VEVENT
BEGIN:VEVENT
UID:37626330-3961-4932-b264-343633343531
DTSTAMP:20260611T052626Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220722
DTEND;VALUE=DATE:20220723
SUMMARY:Summary Soft Deadline
END:VEVENT
BEGIN:VEVENT
UID:32653533-3930-4734-a130-663764383030
DTSTAMP:20260611T052626Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220729
DTEND;VALUE=DATE:20220730
SUMMARY:Summary Deadline
END:VEVENT
END:VCALENDAR