BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:35306334-3265-4266-a361-323739653865
X-WR-CALNAME:Coinductive Proofs Calendar
X-WR-CALDESC:Events of the lecture Coinductive Proofs
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:65666435-6532-4036-a533-613861396435
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250408T081500Z
DTEND:20250408T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66316463-3831-4763-b233-653563363137
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250415T081500Z
DTEND:20250415T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:38396637-3663-4635-a637-376563326534
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250422T081500Z
DTEND:20250422T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:34306265-3862-4530-b266-613561666436
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250425T081500Z
DTEND:20250425T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66393533-3530-4833-b565-343534323465
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250502T081500Z
DTEND:20250502T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61613437-3364-4961-b363-363533333530
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250506T081500Z
DTEND:20250506T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64626433-3061-4161-b231-396133623136
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250509T081500Z
DTEND:20250509T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38363064-3936-4537-a235-653265373135
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250513T081500Z
DTEND:20250513T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:35356139-3262-4762-b530-653131323961
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250516T081500Z
DTEND:20250516T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36633435-6364-4631-b363-373863366235
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250520T081500Z
DTEND:20250520T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37316262-3464-4633-b230-343563323437
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250523T081500Z
DTEND:20250523T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61316661-3836-4930-b538-656363666637
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250527T081500Z
DTEND:20250527T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32623230-3334-4637-b739-643932653536
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250530T081500Z
DTEND:20250530T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36613362-3830-4632-a365-383663393935
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250603T081500Z
DTEND:20250603T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32643534-6134-4134-a466-303335666334
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250606T081500Z
DTEND:20250606T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31393932-6130-4661-b436-633639333261
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250610T081500Z
DTEND:20250610T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63333062-6464-4161-a438-326162646635
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250613T081500Z
DTEND:20250613T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34376261-3065-4137-a131-663864323938
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250617T081500Z
DTEND:20250617T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39306635-6662-4162-b730-616463303639
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250620T081500Z
DTEND:20250620T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33343866-3036-4133-a137-306664623336
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250624T081500Z
DTEND:20250624T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30386465-6461-4337-b932-396364626534
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250627T081500Z
DTEND:20250627T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34316434-3965-4364-b061-396438616662
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250701T081500Z
DTEND:20250701T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:34313066-3563-4139-b736-613033363232
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250704T081500Z
DTEND:20250704T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30376432-3235-4666-a463-666663626466
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250708T081500Z
DTEND:20250708T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37666534-6438-4863-a463-396435393463
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250711T081500Z
DTEND:20250711T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66633034-6139-4666-b730-616165623336
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250715T081500Z
DTEND:20250715T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61316164-6532-4165-a662-326466616639
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250718T081500Z
DTEND:20250718T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62386337-3065-4465-a233-646532666237
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250807
DTEND;VALUE=DATE:20250808
LOCATION:E1.3 HS002
SUMMARY:Main Exam
END:VEVENT
BEGIN:VEVENT
UID:31336465-3662-4564-b032-663064336533
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART:20250923T080000Z
DTEND:20250923T100000Z
LOCATION:0.07 in C0 (CISPA)
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:39323263-6265-4631-b664-646263353331
DTSTAMP:20261001T232643Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250929
DTEND;VALUE=DATE:20250930
LOCATION:E1.3 HS002
SUMMARY:Re-Exam
END:VEVENT
END:VCALENDAR