BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:35646335-3337-4935-b833-663765333835
X-WR-CALNAME:Coinductive Proofs Calendar
X-WR-CALDESC:Events of the lecture Coinductive Proofs
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:65376435-3633-4731-a665-643335353134
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250408T081500Z
DTEND:20250408T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:38346535-6665-4637-a235-373938663734
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250415T081500Z
DTEND:20250415T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:31653931-3362-4662-b163-653563623263
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250422T081500Z
DTEND:20250422T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:64383537-3730-4635-a461-333338356535
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250425T081500Z
DTEND:20250425T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62366165-3832-4237-b162-653063663431
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250502T081500Z
DTEND:20250502T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61353639-6534-4264-b339-343964666437
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250506T081500Z
DTEND:20250506T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:32396163-6563-4962-b261-633433386237
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250509T081500Z
DTEND:20250509T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62643862-6362-4330-a534-373737346561
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250513T081500Z
DTEND:20250513T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:64313232-6261-4031-b564-613539396131
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250516T081500Z
DTEND:20250516T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33393164-6261-4632-a434-653966396433
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250520T081500Z
DTEND:20250520T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:61333465-6433-4634-a131-376562656639
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250523T081500Z
DTEND:20250523T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36623438-3333-4431-b736-653838356537
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250527T081500Z
DTEND:20250527T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:30643838-6331-4139-a666-333030656134
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250530T081500Z
DTEND:20250530T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64643161-3261-4435-a564-323535326465
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250603T081500Z
DTEND:20250603T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:65376630-6631-4665-a534-656231623864
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250606T081500Z
DTEND:20250606T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36316537-6531-4639-b335-653630636464
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250610T081500Z
DTEND:20250610T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:32653738-3935-4735-a365-373166343739
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250613T081500Z
DTEND:20250613T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64663433-3964-4930-b930-386361623238
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250617T081500Z
DTEND:20250617T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:35303139-3234-4535-a437-356138303835
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250620T081500Z
DTEND:20250620T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33623137-3666-4538-a239-353537346165
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250624T081500Z
DTEND:20250624T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:35393831-3335-4439-b230-376135613835
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250627T081500Z
DTEND:20250627T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39313663-6233-4336-b630-363166333736
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250701T081500Z
DTEND:20250701T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:39636637-3430-4533-b064-636263396263
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250704T081500Z
DTEND:20250704T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62653364-3362-4538-a664-656537356137
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250708T081500Z
DTEND:20250708T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:62313961-6233-4635-b535-303935663965
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250711T081500Z
DTEND:20250711T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34353438-3965-4330-a562-303435336635
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250715T081500Z
DTEND:20250715T094500Z
LOCATION:E1.3 HS003
SUMMARY:Proofs: Lecture
END:VEVENT
BEGIN:VEVENT
UID:33353064-3132-4437-a437-323736616634
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250718T081500Z
DTEND:20250718T094500Z
LOCATION:SR014
SUMMARY:Proofs: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30623036-3665-4531-b734-643039623138
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250807
DTEND;VALUE=DATE:20250808
LOCATION:E1.3 HS002
SUMMARY:Proofs: Main Exam
END:VEVENT
BEGIN:VEVENT
UID:38336261-6661-4432-b337-366130383364
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART:20250923T080000Z
DTEND:20250923T100000Z
LOCATION:0.07 in C0 (CISPA)
SUMMARY:Proofs: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:64323965-3037-4362-a563-623062306664
DTSTAMP:20261111T150515Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250929
DTEND;VALUE=DATE:20250930
LOCATION:E1.3 HS002
SUMMARY:Proofs: Re-Exam
END:VEVENT
END:VCALENDAR