BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:32303236-6336-4764-a663-336237663937
X-WR-CALNAME:Parameterized Verification Calendar
X-WR-CALDESC:Events of the lecture Parameterized Verification
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:66653739-6435-4234-b930-623262383738
DTSTAMP:20260611T041531Z
DESCRIPTION:
DTSTART:20240419T080000Z
DTEND:20240419T100000Z
LOCATION:CISPA\, lecture hall 0.05
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31366431-6630-4263-b562-626364326331
DTSTAMP:20260611T041531Z
DESCRIPTION:
DTSTART:20240426T080000Z
DTEND:20240426T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65363863-3164-4561-b466-356430623862
DTSTAMP:20260611T041531Z
DESCRIPTION:
DTSTART:20240503T080000Z
DTEND:20240503T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39363939-3265-4262-b137-616439356431
DTSTAMP:20260611T041531Z
DESCRIPTION:
DTSTART:20240510T080000Z
DTEND:20240510T100000Z
LOCATION:CISPA\, lecture hall 0.05
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30663031-3062-4031-b430-396133383838
DTSTAMP:20260611T041531Z
DESCRIPTION:
DTSTART:20240517T080000Z
DTEND:20240517T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64393135-6565-4461-a666-313365313339
DTSTAMP:20260611T041531Z
DESCRIPTION:
DTSTART:20240524T080000Z
DTEND:20240524T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62666463-3034-4639-b264-326164653961
DTSTAMP:20260611T041531Z
DESCRIPTION:
DTSTART:20240607T080000Z
DTEND:20240607T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63316661-3361-4436-a565-313031633436
DTSTAMP:20260611T041531Z
DESCRIPTION:
DTSTART:20240614T080000Z
DTEND:20240614T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31636363-6432-4834-b136-343431343962
DTSTAMP:20260611T041531Z
DESCRIPTION:
DTSTART:20240621T080000Z
DTEND:20240621T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30393439-6438-4237-b833-646265343030
DTSTAMP:20260611T041531Z
DESCRIPTION:
DTSTART:20240628T080000Z
DTEND:20240628T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64616530-6433-4839-a330-613465333262
DTSTAMP:20260611T041531Z
DESCRIPTION:
DTSTART:20240705T080000Z
DTEND:20240705T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30313262-3637-4735-b933-616531393733
DTSTAMP:20260611T041531Z
DESCRIPTION:
DTSTART:20240712T080000Z
DTEND:20240712T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64333165-6638-4266-b439-656236313238
DTSTAMP:20260611T041531Z
DESCRIPTION:
DTSTART:20240719T080000Z
DTEND:20240719T100000Z
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32303139-3236-4335-b131-323834396365
DTSTAMP:20260611T041531Z
DESCRIPTION:Check your status page for your assigned time slot.
DTSTART:20240802T070000Z
DTEND:20240802T140000Z
LOCATION:Room 3.21\, CISPA Building (E9.1)
SUMMARY:Exam
END:VEVENT
BEGIN:VEVENT
UID:38353734-3630-4865-a263-653638636463
DTSTAMP:20260611T041531Z
DESCRIPTION:
DTSTART:20240927T070000Z
DTEND:20240927T070000Z
LOCATION:C0
SUMMARY:Reexam
END:VEVENT
END:VCALENDAR