BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:37303636-3738-4334-b536-633531643530
X-WR-CALNAME:Coinductive Proofs Calendar
X-WR-CALDESC:Events of the lecture Coinductive Proofs
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:35613431-3363-4338-b039-303239626439
DTSTAMP:20260621T221742Z
DESCRIPTION:
DTSTART:20250425T081500Z
DTEND:20250425T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39646164-3338-4634-b731-636263666231
DTSTAMP:20260621T221742Z
DESCRIPTION:
DTSTART:20250502T081500Z
DTEND:20250502T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61613264-6237-4937-b561-633139363731
DTSTAMP:20260621T221742Z
DESCRIPTION:
DTSTART:20250509T081500Z
DTEND:20250509T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38396230-6232-4532-b938-663034626261
DTSTAMP:20260621T221742Z
DESCRIPTION:
DTSTART:20250516T081500Z
DTEND:20250516T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33333664-6566-4130-a530-396566663030
DTSTAMP:20260621T221742Z
DESCRIPTION:
DTSTART:20250523T081500Z
DTEND:20250523T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37643561-3066-4030-b330-336331636633
DTSTAMP:20260621T221742Z
DESCRIPTION:
DTSTART:20250530T081500Z
DTEND:20250530T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63383433-3766-4764-b862-343063336333
DTSTAMP:20260621T221742Z
DESCRIPTION:
DTSTART:20250606T081500Z
DTEND:20250606T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66303135-6532-4664-b138-643664356563
DTSTAMP:20260621T221742Z
DESCRIPTION:
DTSTART:20250613T081500Z
DTEND:20250613T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63616362-6134-4163-b130-613365323563
DTSTAMP:20260621T221742Z
DESCRIPTION:
DTSTART:20250620T081500Z
DTEND:20250620T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30313231-3938-4630-b635-326662333665
DTSTAMP:20260621T221742Z
DESCRIPTION:
DTSTART:20250627T081500Z
DTEND:20250627T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63383236-3134-4038-b363-333061636633
DTSTAMP:20260621T221742Z
DESCRIPTION:
DTSTART:20250704T081500Z
DTEND:20250704T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61383530-3031-4639-b539-313339336433
DTSTAMP:20260621T221742Z
DESCRIPTION:
DTSTART:20250711T081500Z
DTEND:20250711T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66353232-3061-4438-b631-363063353435
DTSTAMP:20260621T221742Z
DESCRIPTION:
DTSTART:20250718T081500Z
DTEND:20250718T094500Z
LOCATION:SR014
SUMMARY:Tutorial
END:VEVENT
END:VCALENDAR