BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:39396662-3432-4562-a237-333365656536
X-WR-CALNAME:Coinductive Proofs Calendar
X-WR-CALDESC:Events of the lecture Coinductive Proofs
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:33356139-6431-4139-b534-366138623133
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250408T081500Z
DTEND:20250408T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:64386665-3264-4837-b031-636266613435
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250415T081500Z
DTEND:20250415T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:64313734-3532-4138-b565-646236643632
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250422T081500Z
DTEND:20250422T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:39383039-3565-4332-b264-363130363830
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250425T081500Z
DTEND:20250425T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34663361-3231-4265-b534-386362343933
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250502T081500Z
DTEND:20250502T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37356131-6630-4238-a236-346266386338
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250506T081500Z
DTEND:20250506T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:33303834-3239-4366-b735-316466373139
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250509T081500Z
DTEND:20250509T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33613066-3939-4665-b738-613062386333
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250513T081500Z
DTEND:20250513T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:33623638-6566-4138-b362-656464346136
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250516T081500Z
DTEND:20250516T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66633866-6164-4133-a666-303137373162
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250520T081500Z
DTEND:20250520T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:65646234-3139-4664-b937-343964656362
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250523T081500Z
DTEND:20250523T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36353533-3430-4235-b661-393365363366
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250527T081500Z
DTEND:20250527T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:34626633-6531-4761-b032-393930643731
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250530T081500Z
DTEND:20250530T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63663139-3434-4730-a132-306133643234
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250603T081500Z
DTEND:20250603T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:32333065-3663-4331-b533-373363643730
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250606T081500Z
DTEND:20250606T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66366231-3463-4835-b664-633436363833
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250610T081500Z
DTEND:20250610T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:31663230-3464-4536-b931-383338616531
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250613T081500Z
DTEND:20250613T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34333435-3533-4532-b932-373136666365
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250617T081500Z
DTEND:20250617T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:38373463-3261-4936-b065-356166363136
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250620T081500Z
DTEND:20250620T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36613066-6136-4534-b563-373861343266
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250624T081500Z
DTEND:20250624T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:38383865-6262-4038-b239-653064333562
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250627T081500Z
DTEND:20250627T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66366534-6238-4837-b762-333136313366
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250701T081500Z
DTEND:20250701T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:65383261-6465-4462-a439-383939616638
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250704T081500Z
DTEND:20250704T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32616334-3238-4438-b632-386239636236
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250708T081500Z
DTEND:20250708T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:65303463-6133-4266-b831-663432613863
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250711T081500Z
DTEND:20250711T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33643130-6437-4935-a261-393164656132
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250715T081500Z
DTEND:20250715T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:37633335-3531-4137-a666-353931313233
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250718T081500Z
DTEND:20250718T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37646565-6663-4239-b761-666362663331
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250807
DTEND;VALUE=DATE:20250808
LOCATION:E1.3 HS002
SUMMARY:Proofs: Main Exam
END:VEVENT
BEGIN:VEVENT
UID:65663362-3561-4130-a163-343139346335
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART:20250923T080000Z
DTEND:20250923T100000Z
LOCATION:0.07 in C0 (CISPA)
SUMMARY:Proofs: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:36356134-6463-4131-b262-383563326232
DTSTAMP:20261022T055636Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250929
DTEND;VALUE=DATE:20250930
LOCATION:E1.3 HS002
SUMMARY:Proofs: Re-Exam
END:VEVENT
END:VCALENDAR