BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:39303164-3262-4933-b761-643137303031
X-WR-CALNAME:Coinductive Proofs Calendar
X-WR-CALDESC:Events of the lecture Coinductive Proofs
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:35613833-3263-4236-b839-386439393432
DTSTAMP:20260821T235810Z
DESCRIPTION:
DTSTART:20250425T081500Z
DTEND:20250425T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33386462-6337-4230-a537-633766633631
DTSTAMP:20260821T235810Z
DESCRIPTION:
DTSTART:20250502T081500Z
DTEND:20250502T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32656462-6464-4637-b666-663138303537
DTSTAMP:20260821T235810Z
DESCRIPTION:
DTSTART:20250509T081500Z
DTEND:20250509T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38623730-3138-4236-a331-383062623231
DTSTAMP:20260821T235810Z
DESCRIPTION:
DTSTART:20250516T081500Z
DTEND:20250516T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32373335-6636-4635-b662-653736636561
DTSTAMP:20260821T235810Z
DESCRIPTION:
DTSTART:20250523T081500Z
DTEND:20250523T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34613938-3635-4063-b639-333330623964
DTSTAMP:20260821T235810Z
DESCRIPTION:
DTSTART:20250530T081500Z
DTEND:20250530T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34353035-6666-4438-b834-336337643561
DTSTAMP:20260821T235810Z
DESCRIPTION:
DTSTART:20250606T081500Z
DTEND:20250606T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38303638-3231-4039-a663-386632363032
DTSTAMP:20260821T235810Z
DESCRIPTION:
DTSTART:20250613T081500Z
DTEND:20250613T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64346261-3238-4536-b365-313766343636
DTSTAMP:20260821T235810Z
DESCRIPTION:
DTSTART:20250620T081500Z
DTEND:20250620T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62383539-6238-4266-a164-346430646539
DTSTAMP:20260821T235810Z
DESCRIPTION:
DTSTART:20250627T081500Z
DTEND:20250627T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33666364-6639-4964-a337-336138363764
DTSTAMP:20260821T235810Z
DESCRIPTION:
DTSTART:20250704T081500Z
DTEND:20250704T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32316266-6338-4663-b333-303237303933
DTSTAMP:20260821T235810Z
DESCRIPTION:
DTSTART:20250711T081500Z
DTEND:20250711T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36303939-3962-4764-b562-663132383933
DTSTAMP:20260821T235810Z
DESCRIPTION:
DTSTART:20250718T081500Z
DTEND:20250718T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
END:VCALENDAR