BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:62636265-6464-4532-b535-393333316430
X-WR-CALNAME:Coinductive Proofs Calendar
X-WR-CALDESC:Events of the lecture Coinductive Proofs
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:66393231-3466-4361-b935-363266393934
DTSTAMP:20261022T055710Z
DESCRIPTION:
DTSTART:20250425T081500Z
DTEND:20250425T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34663635-6338-4363-a336-633136653462
DTSTAMP:20261022T055710Z
DESCRIPTION:
DTSTART:20250502T081500Z
DTEND:20250502T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66653937-6430-4339-a635-643963366466
DTSTAMP:20261022T055710Z
DESCRIPTION:
DTSTART:20250509T081500Z
DTEND:20250509T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66366135-3361-4035-a265-306666666538
DTSTAMP:20261022T055710Z
DESCRIPTION:
DTSTART:20250516T081500Z
DTEND:20250516T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39343263-3333-4536-a132-346133616336
DTSTAMP:20261022T055710Z
DESCRIPTION:
DTSTART:20250523T081500Z
DTEND:20250523T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66363531-3366-4037-b861-613762336637
DTSTAMP:20261022T055710Z
DESCRIPTION:
DTSTART:20250530T081500Z
DTEND:20250530T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34346261-3164-4562-b563-333937396335
DTSTAMP:20261022T055710Z
DESCRIPTION:
DTSTART:20250606T081500Z
DTEND:20250606T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64363436-6336-4135-b963-633761653537
DTSTAMP:20261022T055710Z
DESCRIPTION:
DTSTART:20250613T081500Z
DTEND:20250613T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62613262-3537-4534-a134-613439306237
DTSTAMP:20261022T055710Z
DESCRIPTION:
DTSTART:20250620T081500Z
DTEND:20250620T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37363833-3961-4239-b634-633130356663
DTSTAMP:20261022T055710Z
DESCRIPTION:
DTSTART:20250627T081500Z
DTEND:20250627T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36333963-3461-4230-b764-386562373232
DTSTAMP:20261022T055710Z
DESCRIPTION:
DTSTART:20250704T081500Z
DTEND:20250704T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35623632-3838-4466-b434-393838323463
DTSTAMP:20261022T055710Z
DESCRIPTION:
DTSTART:20250711T081500Z
DTEND:20250711T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66346337-3063-4166-b766-363837393961
DTSTAMP:20261022T055710Z
DESCRIPTION:
DTSTART:20250718T081500Z
DTEND:20250718T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
END:VCALENDAR