BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:30363038-6533-4736-b665-663864323565
X-WR-CALNAME:Coinductive Proofs Calendar
X-WR-CALDESC:Events of the lecture Coinductive Proofs
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:64343331-3762-4566-b236-393066346534
DTSTAMP:20260801T224849Z
DESCRIPTION:
DTSTART:20250408T081500Z
DTEND:20250408T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:33303539-6234-4265-b036-363230613065
DTSTAMP:20260801T224849Z
DESCRIPTION:
DTSTART:20250415T081500Z
DTEND:20250415T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:32633766-3938-4633-a538-333438396466
DTSTAMP:20260801T224849Z
DESCRIPTION:
DTSTART:20250422T081500Z
DTEND:20250422T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:66613131-3563-4364-b831-356436646535
DTSTAMP:20260801T224849Z
DESCRIPTION:
DTSTART:20250506T081500Z
DTEND:20250506T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:33306665-3335-4630-a236-366362376662
DTSTAMP:20260801T224849Z
DESCRIPTION:
DTSTART:20250513T081500Z
DTEND:20250513T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:61626337-3239-4331-a438-666533373631
DTSTAMP:20260801T224849Z
DESCRIPTION:
DTSTART:20250520T081500Z
DTEND:20250520T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:36336263-3330-4134-a235-326232323037
DTSTAMP:20260801T224849Z
DESCRIPTION:
DTSTART:20250527T081500Z
DTEND:20250527T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:37386135-3833-4733-b263-333963616339
DTSTAMP:20260801T224849Z
DESCRIPTION:
DTSTART:20250603T081500Z
DTEND:20250603T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:63623566-3738-4562-b762-643734356233
DTSTAMP:20260801T224849Z
DESCRIPTION:
DTSTART:20250610T081500Z
DTEND:20250610T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:66336161-6565-4531-b832-343336326230
DTSTAMP:20260801T224849Z
DESCRIPTION:
DTSTART:20250617T081500Z
DTEND:20250617T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:34653934-6664-4730-a131-623463376530
DTSTAMP:20260801T224849Z
DESCRIPTION:
DTSTART:20250624T081500Z
DTEND:20250624T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:34383764-3931-4064-a238-633338353861
DTSTAMP:20260801T224849Z
DESCRIPTION:
DTSTART:20250701T081500Z
DTEND:20250701T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:65643233-3431-4231-a635-356337323866
DTSTAMP:20260801T224849Z
DESCRIPTION:
DTSTART:20250708T081500Z
DTEND:20250708T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:32316533-6234-4064-b434-363230653664
DTSTAMP:20260801T224849Z
DESCRIPTION:
DTSTART:20250715T081500Z
DTEND:20250715T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
END:VCALENDAR