BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:33366630-6339-4131-a137-326237396438
X-WR-CALNAME:Coinductive Proofs Calendar
X-WR-CALDESC:Events of the lecture Coinductive Proofs
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:66626464-6261-4166-b133-316161363536
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250408T081500Z
DTEND:20250408T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65306134-3962-4066-a536-653530626438
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250415T081500Z
DTEND:20250415T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:35303231-6133-4434-a263-663235306561
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250422T081500Z
DTEND:20250422T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65333462-3031-4231-b239-366365363965
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250425T081500Z
DTEND:20250425T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65366236-6633-4738-a365-306164393562
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250502T081500Z
DTEND:20250502T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31633536-6632-4264-a366-386337626165
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250506T081500Z
DTEND:20250506T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:35386463-6136-4264-b062-663532653438
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250509T081500Z
DTEND:20250509T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36643335-6631-4538-b966-646161353031
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250513T081500Z
DTEND:20250513T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36303834-3464-4935-b463-663834376535
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250516T081500Z
DTEND:20250516T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65323238-3963-4232-b738-623232386538
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250520T081500Z
DTEND:20250520T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65666233-3835-4830-b932-653362376638
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250523T081500Z
DTEND:20250523T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37393039-3161-4834-b166-643934373538
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250527T081500Z
DTEND:20250527T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65653238-6231-4437-b366-303762326533
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250530T081500Z
DTEND:20250530T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30653661-3733-4237-b438-393166633262
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250603T081500Z
DTEND:20250603T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:34343865-3162-4563-b138-613436383737
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250606T081500Z
DTEND:20250606T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32333161-6136-4730-b661-323238356361
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250610T081500Z
DTEND:20250610T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39626636-6634-4261-b165-336261663439
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250613T081500Z
DTEND:20250613T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31376235-3331-4861-b839-353938326434
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250617T081500Z
DTEND:20250617T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:38653236-3430-4363-b337-376566353139
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250620T081500Z
DTEND:20250620T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39343739-3432-4436-b733-393964656665
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250624T081500Z
DTEND:20250624T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37373734-3266-4732-b762-373762656464
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250627T081500Z
DTEND:20250627T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31316661-6564-4037-b863-663563313338
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250701T081500Z
DTEND:20250701T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30343732-3364-4465-a237-363264623338
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250704T081500Z
DTEND:20250704T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63626133-3163-4530-b936-386466346337
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250708T081500Z
DTEND:20250708T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65306333-3166-4630-b839-623837393066
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250711T081500Z
DTEND:20250711T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61373033-3865-4134-b335-383431303037
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250715T081500Z
DTEND:20250715T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64653034-3562-4832-b364-653130366638
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250718T081500Z
DTEND:20250718T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31373032-3161-4837-b934-336430613534
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250807
DTEND;VALUE=DATE:20250808
LOCATION:E1.3 HS002
SUMMARY:Main Exam
END:VEVENT
BEGIN:VEVENT
UID:62386165-6330-4663-b830-323265656234
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART:20250923T080000Z
DTEND:20250923T100000Z
LOCATION:0.07 in C0 (CISPA)
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:35396233-3165-4930-b032-663832666362
DTSTAMP:20260621T221644Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250929
DTEND;VALUE=DATE:20250930
LOCATION:E1.3 HS002
SUMMARY:Re-Exam
END:VEVENT
END:VCALENDAR