BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:64323737-3861-4261-b563-393333303032
X-WR-CALNAME:Coinductive Proofs Calendar
X-WR-CALDESC:Events of the lecture Coinductive Proofs
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:35376661-6130-4161-b531-396366653335
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250408T081500Z
DTEND:20250408T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62633661-3339-4263-a166-373130343036
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250415T081500Z
DTEND:20250415T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66303438-3664-4563-b865-643462613035
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250422T081500Z
DTEND:20250422T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30663663-3763-4361-b461-663633363235
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250425T081500Z
DTEND:20250425T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35306532-3537-4863-b766-343930316465
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250502T081500Z
DTEND:20250502T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34663635-3938-4431-b961-623630626264
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250506T081500Z
DTEND:20250506T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64336432-3731-4438-b736-663436376137
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250509T081500Z
DTEND:20250509T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36643631-3634-4466-b931-313638613032
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250513T081500Z
DTEND:20250513T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36316363-6332-4164-b561-323432383833
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250516T081500Z
DTEND:20250516T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61613730-3336-4333-a362-663166663635
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250520T081500Z
DTEND:20250520T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33323837-3563-4238-a630-666161373163
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250523T081500Z
DTEND:20250523T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39386161-6531-4133-b635-376431633833
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250527T081500Z
DTEND:20250527T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30643330-3834-4866-a637-663733373063
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250530T081500Z
DTEND:20250530T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37663865-3138-4539-a637-613630663230
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250603T081500Z
DTEND:20250603T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65613462-6530-4638-b665-643530626232
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250606T081500Z
DTEND:20250606T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35616365-3133-4139-b639-643961333330
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250610T081500Z
DTEND:20250610T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30363431-3861-4562-b463-643364663230
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250613T081500Z
DTEND:20250613T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63666236-3932-4031-b062-373935656237
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250617T081500Z
DTEND:20250617T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62656633-6633-4733-b735-316337383030
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250620T081500Z
DTEND:20250620T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37326163-6232-4465-b730-636132383461
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250624T081500Z
DTEND:20250624T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37653436-3238-4636-b432-306633346432
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250627T081500Z
DTEND:20250627T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33636363-6336-4464-b833-363637643038
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250701T081500Z
DTEND:20250701T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33396333-3931-4162-a339-333164326135
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250704T081500Z
DTEND:20250704T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38636337-3230-4132-b165-343934366232
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250708T081500Z
DTEND:20250708T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:38303339-3361-4035-a638-313131356136
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250711T081500Z
DTEND:20250711T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39346439-3834-4964-a365-323165653033
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250715T081500Z
DTEND:20250715T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39616230-3039-4434-a137-666464373264
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250718T081500Z
DTEND:20250718T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36393063-6531-4637-b961-633764383539
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250807
DTEND;VALUE=DATE:20250808
LOCATION:E1.3 HS002
SUMMARY:Main Exam
END:VEVENT
BEGIN:VEVENT
UID:64666631-6562-4339-a164-326466393235
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250923T080000Z
DTEND:20250923T100000Z
LOCATION:0.07 in C0 (CISPA)
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:63643533-6433-4832-b436-613236356632
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250929
DTEND;VALUE=DATE:20250930
LOCATION:E1.3 HS002
SUMMARY:Re-Exam
END:VEVENT
END:VCALENDAR