BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:37306431-6631-4162-b966-323031323665
X-WR-CALNAME:Coinductive Proofs Calendar
X-WR-CALDESC:Events of the lecture Coinductive Proofs
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:64346233-6333-4138-b961-316632376330
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250408T081500Z
DTEND:20250408T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:37373363-3366-4338-a432-303937333066
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250415T081500Z
DTEND:20250415T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:64323563-3131-4436-a533-376566343766
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250422T081500Z
DTEND:20250422T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:63313931-3135-4530-b765-326338666461
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250425T081500Z
DTEND:20250425T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65343635-3834-4536-a562-396234376338
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250502T081500Z
DTEND:20250502T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62316531-3838-4365-b763-376330366539
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250506T081500Z
DTEND:20250506T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:30633463-3134-4437-b735-653035613962
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250509T081500Z
DTEND:20250509T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39393234-3839-4132-b762-343237626639
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250513T081500Z
DTEND:20250513T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:63353165-6131-4262-b935-353538383836
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250516T081500Z
DTEND:20250516T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30386364-3665-4431-a538-613266303831
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250520T081500Z
DTEND:20250520T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:64663138-6631-4330-b931-316663313539
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250523T081500Z
DTEND:20250523T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63346637-3565-4337-a362-303265303363
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250527T081500Z
DTEND:20250527T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:34313564-3462-4033-b430-623635313061
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250530T081500Z
DTEND:20250530T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30393939-3465-4830-b865-316363333537
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250603T081500Z
DTEND:20250603T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:66666161-3238-4533-b839-386131336236
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250606T081500Z
DTEND:20250606T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39656163-6562-4366-a263-376563323131
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250610T081500Z
DTEND:20250610T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:34333737-6234-4464-b466-396433376238
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250613T081500Z
DTEND:20250613T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34313136-3332-4134-b261-396365326530
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250617T081500Z
DTEND:20250617T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:64306134-3132-4332-b538-636533306365
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250620T081500Z
DTEND:20250620T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62653937-6530-4530-b332-643332643463
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250624T081500Z
DTEND:20250624T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:38316263-3438-4364-a138-316432663234
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250627T081500Z
DTEND:20250627T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61373266-6665-4465-b261-626162386262
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250701T081500Z
DTEND:20250701T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:38613062-3637-4464-b937-376666356639
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250704T081500Z
DTEND:20250704T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37323166-3132-4433-b531-663231623766
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250708T081500Z
DTEND:20250708T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:66393134-3036-4838-a162-343431663865
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250711T081500Z
DTEND:20250711T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38343031-3561-4733-b631-393438336366
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250715T081500Z
DTEND:20250715T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:36363039-6364-4532-b032-616561306631
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250718T081500Z
DTEND:20250718T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30303734-3834-4235-b461-396535616631
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250807
DTEND;VALUE=DATE:20250808
LOCATION:E1.3 HS002
SUMMARY:Proofs: Main Exam
END:VEVENT
BEGIN:VEVENT
UID:64643761-3363-4634-b464-663865346363
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART:20250923T080000Z
DTEND:20250923T100000Z
LOCATION:0.07 in C0 (CISPA)
SUMMARY:Proofs: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:39366365-3161-4138-a635-366235663164
DTSTAMP:20261001T232723Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250929
DTEND;VALUE=DATE:20250930
LOCATION:E1.3 HS002
SUMMARY:Proofs: Re-Exam
END:VEVENT
END:VCALENDAR