BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:64663161-3737-4633-a461-396139316161
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:38646365-3430-4764-a636-323233313439
DTSTAMP:20261106T192210Z
DESCRIPTION:
DTSTART:20220427T081500Z
DTEND:20220427T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Kick-Off
END:VEVENT
BEGIN:VEVENT
UID:34643662-3239-4935-b261-393635656131
DTSTAMP:20261106T192210Z
DESCRIPTION:
DTSTART:20220504T081500Z
DTEND:20220504T084500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Background - Automata and LTL
END:VEVENT
BEGIN:VEVENT
UID:65323233-3561-4262-b436-343438393736
DTSTAMP:20261106T192210Z
DESCRIPTION:
DTSTART:20220511T081500Z
DTEND:20220511T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Background - Infinite Games
END:VEVENT
BEGIN:VEVENT
UID:36613363-6533-4935-a230-393737376432
DTSTAMP:20261106T192210Z
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:65363862-6561-4363-b663-633465313632
DTSTAMP:20261106T192210Z
DESCRIPTION:
DTSTART:20220601T081500Z
DTEND:20220601T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Practcice Talks 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:66313064-6534-4630-b230-313132633539
DTSTAMP:20261106T192210Z
DESCRIPTION:
DTSTART:20220608T081500Z
DTEND:20220608T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Practcice Talks 3 + 4
END:VEVENT
BEGIN:VEVENT
UID:39383363-3263-4463-b335-333230366665
DTSTAMP:20261106T192210Z
DESCRIPTION:
DTSTART:20220629T081500Z
DTEND:20220629T081500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Talks 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:65656565-3063-4132-a231-326434373239
DTSTAMP:20261106T192210Z
DESCRIPTION:
DTSTART:20220706T081500Z
DTEND:20220706T081500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Talk 3
END:VEVENT
BEGIN:VEVENT
UID:66323266-3364-4131-b164-326663343364
DTSTAMP:20261106T192210Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220722
DTEND;VALUE=DATE:20220723
SUMMARY:Summary Soft Deadline
END:VEVENT
BEGIN:VEVENT
UID:61626566-3937-4338-a161-393533346133
DTSTAMP:20261106T192210Z
DESCRIPTION:
DTSTART;VALUE=DATE:20220729
DTEND;VALUE=DATE:20220730
SUMMARY:Summary Deadline
END:VEVENT
END:VCALENDAR