BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:65633038-3031-4939-b463-343964653230
X-WR-CALNAME:Parameterized Verification Calendar
X-WR-CALDESC:Events of the lecture Parameterized Verification
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:62613932-3033-4636-a433-333631386162
DTSTAMP:20260611T152345Z
DESCRIPTION:
DTSTART:20240419T080000Z
DTEND:20240419T100000Z
LOCATION:CISPA\, lecture hall 0.05
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33616530-6338-4435-b962-393938383361
DTSTAMP:20260611T152345Z
DESCRIPTION:
DTSTART:20240426T080000Z
DTEND:20240426T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65373938-3939-4563-a632-393138316164
DTSTAMP:20260611T152345Z
DESCRIPTION:
DTSTART:20240503T080000Z
DTEND:20240503T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39326439-6561-4761-b338-363665626361
DTSTAMP:20260611T152345Z
DESCRIPTION:
DTSTART:20240510T080000Z
DTEND:20240510T100000Z
LOCATION:CISPA\, lecture hall 0.05
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66306264-6162-4432-a635-666239643834
DTSTAMP:20260611T152345Z
DESCRIPTION:
DTSTART:20240517T080000Z
DTEND:20240517T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62316364-6163-4332-b461-386562616536
DTSTAMP:20260611T152345Z
DESCRIPTION:
DTSTART:20240524T080000Z
DTEND:20240524T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39316231-6438-4932-a336-383231626131
DTSTAMP:20260611T152345Z
DESCRIPTION:
DTSTART:20240607T080000Z
DTEND:20240607T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36623934-3761-4938-a662-316333333934
DTSTAMP:20260611T152345Z
DESCRIPTION:
DTSTART:20240614T080000Z
DTEND:20240614T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33373330-3362-4263-b463-396566643737
DTSTAMP:20260611T152345Z
DESCRIPTION:
DTSTART:20240621T080000Z
DTEND:20240621T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61386436-6231-4632-a366-623534623738
DTSTAMP:20260611T152345Z
DESCRIPTION:
DTSTART:20240628T080000Z
DTEND:20240628T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33333536-3835-4663-b139-346563386533
DTSTAMP:20260611T152345Z
DESCRIPTION:
DTSTART:20240705T080000Z
DTEND:20240705T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66643131-3263-4166-b563-616437383133
DTSTAMP:20260611T152345Z
DESCRIPTION:
DTSTART:20240712T080000Z
DTEND:20240712T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33613636-6339-4138-a333-393864356366
DTSTAMP:20260611T152345Z
DESCRIPTION:
DTSTART:20240719T080000Z
DTEND:20240719T100000Z
SUMMARY:Lecture
END:VEVENT
END:VCALENDAR