BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:37363130-3735-4436-a431-313863363964
X-WR-CALNAME:Coinductive Proofs Calendar
X-WR-CALDESC:Events of the lecture Coinductive Proofs
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:62653131-3233-4131-a463-613332343166
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250408T081500Z
DTEND:20250408T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:33383533-3836-4537-b333-643731343335
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250415T081500Z
DTEND:20250415T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:38363939-6161-4062-b161-663065393639
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250422T081500Z
DTEND:20250422T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:61343934-6337-4132-b635-383136313663
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250425T081500Z
DTEND:20250425T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39663032-3036-4061-b035-633538386162
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250502T081500Z
DTEND:20250502T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30656338-3163-4661-b533-393261663333
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250506T081500Z
DTEND:20250506T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:66356339-3731-4239-b432-623562666339
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250509T081500Z
DTEND:20250509T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38623231-3532-4538-b930-373963366137
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250513T081500Z
DTEND:20250513T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:34626230-3034-4036-a236-653838316665
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250516T081500Z
DTEND:20250516T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34343339-3865-4132-b966-386331346531
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250520T081500Z
DTEND:20250520T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:64653832-6335-4633-b264-396665396534
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250523T081500Z
DTEND:20250523T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64616665-6532-4363-b433-623631336637
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250527T081500Z
DTEND:20250527T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:33383762-6235-4533-b536-303665333131
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250530T081500Z
DTEND:20250530T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36323637-6235-4132-b162-393564653839
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250603T081500Z
DTEND:20250603T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:39653466-3039-4563-a266-316132336434
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250606T081500Z
DTEND:20250606T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66363237-6338-4533-b235-626332663065
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250610T081500Z
DTEND:20250610T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:35636365-3039-4066-b161-343561306364
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250613T081500Z
DTEND:20250613T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36346233-3733-4332-b633-353230626132
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250617T081500Z
DTEND:20250617T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:65393338-6561-4631-b939-626162306263
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250620T081500Z
DTEND:20250620T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36313463-6165-4235-b634-343439333062
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250624T081500Z
DTEND:20250624T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:64326137-3236-4331-b734-363234343863
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250627T081500Z
DTEND:20250627T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65633531-6165-4063-a465-316662386431
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250701T081500Z
DTEND:20250701T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:39656634-6137-4163-b438-303230303333
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250704T081500Z
DTEND:20250704T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62356230-3739-4837-b737-343136313765
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250708T081500Z
DTEND:20250708T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:63636530-3961-4036-a564-646366633762
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250711T081500Z
DTEND:20250711T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31323530-3466-4538-b239-313939393563
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250715T081500Z
DTEND:20250715T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:62663236-3534-4637-a266-396439383666
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250718T081500Z
DTEND:20250718T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34376430-3464-4430-a135-616433663437
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250807
DTEND;VALUE=DATE:20250808
LOCATION:E1.3 HS002
SUMMARY:Proofs: Main Exam
END:VEVENT
BEGIN:VEVENT
UID:62613332-3537-4037-a137-666536386137
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART:20250923T080000Z
DTEND:20250923T100000Z
LOCATION:0.07 in C0 (CISPA)
SUMMARY:Proofs: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:65653339-3937-4238-a531-636466356461
DTSTAMP:20260821T235711Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250929
DTEND;VALUE=DATE:20250930
LOCATION:E1.3 HS002
SUMMARY:Proofs: Re-Exam
END:VEVENT
END:VCALENDAR