BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:32663938-6161-4739-b663-386334633563
X-WR-CALNAME:Parameterized Verification Calendar
X-WR-CALDESC:Events of the lecture Parameterized Verification
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:62663032-3439-4837-b738-343532376634
DTSTAMP:20260905T114313Z
DESCRIPTION:
DTSTART:20240419T080000Z
DTEND:20240419T100000Z
LOCATION:CISPA\, lecture hall 0.05
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66633333-3534-4366-b333-393662323563
DTSTAMP:20260905T114313Z
DESCRIPTION:
DTSTART:20240426T080000Z
DTEND:20240426T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32376338-3364-4434-b865-653932393432
DTSTAMP:20260905T114313Z
DESCRIPTION:
DTSTART:20240503T080000Z
DTEND:20240503T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:35373735-6434-4161-b430-346131383935
DTSTAMP:20260905T114313Z
DESCRIPTION:
DTSTART:20240510T080000Z
DTEND:20240510T100000Z
LOCATION:CISPA\, lecture hall 0.05
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61386166-6463-4562-b035-623162336133
DTSTAMP:20260905T114313Z
DESCRIPTION:
DTSTART:20240517T080000Z
DTEND:20240517T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61623331-3335-4631-b132-666231356334
DTSTAMP:20260905T114313Z
DESCRIPTION:
DTSTART:20240524T080000Z
DTEND:20240524T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31633930-3139-4434-b665-643634656339
DTSTAMP:20260905T114313Z
DESCRIPTION:
DTSTART:20240607T080000Z
DTEND:20240607T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61383439-3431-4235-b964-396232633635
DTSTAMP:20260905T114313Z
DESCRIPTION:
DTSTART:20240614T080000Z
DTEND:20240614T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65333837-6361-4232-b665-613966653539
DTSTAMP:20260905T114313Z
DESCRIPTION:
DTSTART:20240621T080000Z
DTEND:20240621T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30306231-3930-4834-b435-346366303461
DTSTAMP:20260905T114313Z
DESCRIPTION:
DTSTART:20240628T080000Z
DTEND:20240628T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62316462-6632-4430-b931-653235663265
DTSTAMP:20260905T114313Z
DESCRIPTION:
DTSTART:20240705T080000Z
DTEND:20240705T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36393461-6262-4330-b339-623332376431
DTSTAMP:20260905T114313Z
DESCRIPTION:
DTSTART:20240712T080000Z
DTEND:20240712T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:34363765-6632-4831-a466-623936646162
DTSTAMP:20260905T114313Z
DESCRIPTION:
DTSTART:20240719T080000Z
DTEND:20240719T100000Z
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63333434-3962-4464-a439-616130633032
DTSTAMP:20260905T114313Z
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:66316334-3936-4863-b836-616336373335
DTSTAMP:20260905T114313Z
DESCRIPTION:
DTSTART:20240927T070000Z
DTEND:20240927T070000Z
LOCATION:C0
SUMMARY:Reexam
END:VEVENT
END:VCALENDAR