BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:62363664-3032-4234-a133-653335396530
X-WR-CALNAME:Coinductive Proofs Calendar
X-WR-CALDESC:Events of the lecture Coinductive Proofs
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:62356661-3036-4135-b538-376533386264
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250408T081500Z
DTEND:20250408T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:35643361-6665-4237-b535-323934663866
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250415T081500Z
DTEND:20250415T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65646134-3034-4237-b635-663761326631
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250422T081500Z
DTEND:20250422T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36326462-6133-4434-b630-373364383862
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250425T081500Z
DTEND:20250425T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32323939-6133-4136-b161-306166363334
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250502T081500Z
DTEND:20250502T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37653737-3834-4833-b062-363461666432
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250506T081500Z
DTEND:20250506T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37623238-6166-4133-a637-613031613130
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250509T081500Z
DTEND:20250509T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36616232-3834-4636-b333-616539343439
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250513T081500Z
DTEND:20250513T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30613435-6236-4536-b338-613139616632
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250516T081500Z
DTEND:20250516T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33626534-3835-4462-b961-653435333935
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250520T081500Z
DTEND:20250520T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63393863-3165-4432-a135-646535633130
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250523T081500Z
DTEND:20250523T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35643931-3962-4564-a562-326233303930
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250527T081500Z
DTEND:20250527T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65656261-3935-4766-a436-326164373338
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250530T081500Z
DTEND:20250530T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32623366-3833-4365-b838-326138323331
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250603T081500Z
DTEND:20250603T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62343232-6264-4631-b034-653032303764
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250606T081500Z
DTEND:20250606T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31643732-6666-4363-a261-626331346331
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250610T081500Z
DTEND:20250610T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37323139-6563-4632-a666-653438656130
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250613T081500Z
DTEND:20250613T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66356137-6362-4237-b230-376330616161
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250617T081500Z
DTEND:20250617T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39306339-6662-4731-b661-646666616662
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250620T081500Z
DTEND:20250620T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36616563-3535-4465-a533-383362653038
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250624T081500Z
DTEND:20250624T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36336137-3530-4064-b566-326261333933
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250627T081500Z
DTEND:20250627T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32643761-6565-4737-b237-313036306137
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250701T081500Z
DTEND:20250701T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32323961-3362-4566-a665-613362613235
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250704T081500Z
DTEND:20250704T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35356134-6631-4335-b164-306535626262
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250708T081500Z
DTEND:20250708T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66303730-3530-4362-a261-326438326463
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250711T081500Z
DTEND:20250711T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62626632-3033-4631-b132-656162336335
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250715T081500Z
DTEND:20250715T094500Z
LOCATION:E1.3 HS003
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33363664-6635-4566-b662-303961643938
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250718T081500Z
DTEND:20250718T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31653366-3066-4333-a538-323263653630
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250807
DTEND;VALUE=DATE:20250808
LOCATION:E1.3 HS002
SUMMARY:Main Exam
END:VEVENT
BEGIN:VEVENT
UID:38336566-3839-4663-b239-376139373234
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART:20250923T080000Z
DTEND:20250923T100000Z
LOCATION:0.07 in C0 (CISPA)
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:39656437-3936-4538-b930-613438616665
DTSTAMP:20260911T114254Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250929
DTEND;VALUE=DATE:20250930
LOCATION:E1.3 HS002
SUMMARY:Re-Exam
END:VEVENT
END:VCALENDAR