BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:33643262-3839-4534-b630-666337393766
X-WR-CALNAME:Coinductive Proofs Calendar
X-WR-CALDESC:Events of the lecture Coinductive Proofs
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:62333538-3437-4966-b839-383863666666
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250408T081500Z
DTEND:20250408T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66386362-6566-4439-b039-653538636165
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250415T081500Z
DTEND:20250415T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:35303761-6137-4563-a437-396438653264
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250422T081500Z
DTEND:20250422T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61363263-3338-4838-b738-646339343461
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250425T081500Z
DTEND:20250425T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37623664-6263-4938-a437-303736323765
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250502T081500Z
DTEND:20250502T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33323132-6336-4935-a433-626235666262
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250506T081500Z
DTEND:20250506T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66353232-6234-4563-b037-383939653632
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250509T081500Z
DTEND:20250509T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37643661-6337-4638-a662-316633646437
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250513T081500Z
DTEND:20250513T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32626364-3136-4738-b133-363466333261
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250516T081500Z
DTEND:20250516T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37643639-3866-4166-a437-613661306636
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250520T081500Z
DTEND:20250520T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:38313939-3932-4339-b562-306662313239
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250523T081500Z
DTEND:20250523T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35316539-6436-4566-b534-396636383763
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250527T081500Z
DTEND:20250527T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32336466-3530-4132-b734-623439303038
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250530T081500Z
DTEND:20250530T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30356533-3666-4233-b237-623035303865
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250603T081500Z
DTEND:20250603T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31366239-3166-4438-a233-393161643834
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250606T081500Z
DTEND:20250606T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62336131-3134-4465-a435-313139666134
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250610T081500Z
DTEND:20250610T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33383135-3034-4432-b561-323236313862
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250613T081500Z
DTEND:20250613T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38646136-3765-4038-a236-383163376461
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250617T081500Z
DTEND:20250617T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:34313562-3330-4538-b839-623461643137
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250620T081500Z
DTEND:20250620T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61353033-6261-4364-b034-366132393162
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250624T081500Z
DTEND:20250624T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37326234-3561-4238-b332-653030646264
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250627T081500Z
DTEND:20250627T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64316131-6366-4466-b836-323865616332
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250701T081500Z
DTEND:20250701T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31346431-3234-4231-b766-613238653935
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250704T081500Z
DTEND:20250704T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38373761-3361-4533-b463-643063343765
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250708T081500Z
DTEND:20250708T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:34326163-6433-4231-b739-393032646137
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250711T081500Z
DTEND:20250711T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33376564-3765-4161-b835-323134623534
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250715T081500Z
DTEND:20250715T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65656464-6131-4133-b331-626537393863
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250718T081500Z
DTEND:20250718T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31396635-3031-4630-a565-363030313062
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250807
DTEND;VALUE=DATE:20250808
LOCATION:E1.3 HS002
SUMMARY:Main Exam
END:VEVENT
BEGIN:VEVENT
UID:63376431-3433-4635-b334-343162376435
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART:20250923T080000Z
DTEND:20250923T100000Z
LOCATION:0.07 in C0 (CISPA)
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:32393632-3065-4232-b832-316664623338
DTSTAMP:20260621T205839Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250929
DTEND;VALUE=DATE:20250930
LOCATION:E1.3 HS002
SUMMARY:Re-Exam
END:VEVENT
END:VCALENDAR