BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:61656433-6636-4738-b435-613034633335
X-WR-CALNAME:Parameterized Verification Calendar
X-WR-CALDESC:Events of the lecture Parameterized Verification
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:64366332-3361-4138-b662-653333633933
DTSTAMP:20260429T031841Z
DESCRIPTION:
DTSTART:20240419T080000Z
DTEND:20240419T100000Z
LOCATION:CISPA\, lecture hall 0.05
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65613164-3335-4339-a531-303965356363
DTSTAMP:20260429T031841Z
DESCRIPTION:
DTSTART:20240426T080000Z
DTEND:20240426T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39373762-6435-4839-a462-363066623438
DTSTAMP:20260429T031841Z
DESCRIPTION:
DTSTART:20240503T080000Z
DTEND:20240503T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31396362-3866-4738-b930-633733363331
DTSTAMP:20260429T031841Z
DESCRIPTION:
DTSTART:20240510T080000Z
DTEND:20240510T100000Z
LOCATION:CISPA\, lecture hall 0.05
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31623133-3666-4738-b466-373166333535
DTSTAMP:20260429T031841Z
DESCRIPTION:
DTSTART:20240517T080000Z
DTEND:20240517T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31383930-3435-4433-b130-623137343836
DTSTAMP:20260429T031841Z
DESCRIPTION:
DTSTART:20240524T080000Z
DTEND:20240524T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:34303263-3330-4462-b663-663865376530
DTSTAMP:20260429T031841Z
DESCRIPTION:
DTSTART:20240607T080000Z
DTEND:20240607T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33313461-3830-4262-b638-313264396234
DTSTAMP:20260429T031841Z
DESCRIPTION:
DTSTART:20240614T080000Z
DTEND:20240614T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61646338-6338-4661-b836-633039396162
DTSTAMP:20260429T031841Z
DESCRIPTION:
DTSTART:20240621T080000Z
DTEND:20240621T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:35373936-3630-4164-b536-346636373465
DTSTAMP:20260429T031841Z
DESCRIPTION:
DTSTART:20240628T080000Z
DTEND:20240628T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37663130-6133-4236-a662-393937386534
DTSTAMP:20260429T031841Z
DESCRIPTION:
DTSTART:20240705T080000Z
DTEND:20240705T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63373666-3235-4633-b732-373730633965
DTSTAMP:20260429T031841Z
DESCRIPTION:
DTSTART:20240712T080000Z
DTEND:20240712T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63623066-6631-4538-a334-336664326661
DTSTAMP:20260429T031841Z
DESCRIPTION:
DTSTART:20240719T080000Z
DTEND:20240719T100000Z
SUMMARY:Lecture
END:VEVENT
END:VCALENDAR