BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:39343334-3135-4361-a639-646565663465
X-WR-CALNAME:Parameterized Verification Calendar
X-WR-CALDESC:Events of the lecture Parameterized Verification
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:65646263-3934-4366-b030-323731303139
DTSTAMP:20260611T081534Z
DESCRIPTION:
DTSTART:20240419T080000Z
DTEND:20240419T100000Z
LOCATION:CISPA\, lecture hall 0.05
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66356138-3435-4762-b238-333836353162
DTSTAMP:20260611T081534Z
DESCRIPTION:
DTSTART:20240426T080000Z
DTEND:20240426T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:38633662-3836-4132-b739-646665663731
DTSTAMP:20260611T081534Z
DESCRIPTION:
DTSTART:20240503T080000Z
DTEND:20240503T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31316439-3861-4461-b764-366430623338
DTSTAMP:20260611T081534Z
DESCRIPTION:
DTSTART:20240510T080000Z
DTEND:20240510T100000Z
LOCATION:CISPA\, lecture hall 0.05
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:38386165-3733-4133-a461-623239366433
DTSTAMP:20260611T081534Z
DESCRIPTION:
DTSTART:20240517T080000Z
DTEND:20240517T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66376530-6561-4830-a331-336463333962
DTSTAMP:20260611T081534Z
DESCRIPTION:
DTSTART:20240524T080000Z
DTEND:20240524T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65323537-3434-4039-b466-613534303565
DTSTAMP:20260611T081534Z
DESCRIPTION:
DTSTART:20240607T080000Z
DTEND:20240607T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36316534-6135-4464-b364-653436343031
DTSTAMP:20260611T081534Z
DESCRIPTION:
DTSTART:20240614T080000Z
DTEND:20240614T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:34373834-3039-4039-a561-313033303031
DTSTAMP:20260611T081534Z
DESCRIPTION:
DTSTART:20240621T080000Z
DTEND:20240621T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31356439-3562-4434-b361-303630393731
DTSTAMP:20260611T081534Z
DESCRIPTION:
DTSTART:20240628T080000Z
DTEND:20240628T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39346263-6435-4238-a631-376637356465
DTSTAMP:20260611T081534Z
DESCRIPTION:
DTSTART:20240705T080000Z
DTEND:20240705T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64386561-3135-4539-b661-333165373465
DTSTAMP:20260611T081534Z
DESCRIPTION:
DTSTART:20240712T080000Z
DTEND:20240712T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62353066-6636-4561-a164-363539353838
DTSTAMP:20260611T081534Z
DESCRIPTION:
DTSTART:20240719T080000Z
DTEND:20240719T100000Z
SUMMARY:Lecture
END:VEVENT
END:VCALENDAR