BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:61393037-6439-4534-a331-626139343333
X-WR-CALNAME:Formal Verification of Systems Software Calendar
X-WR-CALDESC:Events of the lecture Formal Verification of Systems Software
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:64306366-6131-4665-a433-623664613737
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241023T141000Z
DTEND:20241023T150000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61343530-3765-4666-b562-383238373835
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241030T151000Z
DTEND:20241030T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62316135-3133-4232-b633-333634633330
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241106T151000Z
DTEND:20241106T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64343665-6235-4832-a565-336337373033
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241113T151000Z
DTEND:20241113T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34656239-3132-4766-a335-376463373939
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241120T151000Z
DTEND:20241120T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38363236-6433-4264-a433-643061353762
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241127T151000Z
DTEND:20241127T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34366231-6133-4164-b232-363462623466
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241204T151000Z
DTEND:20241204T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31366466-6130-4366-b533-396633623863
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241211T151000Z
DTEND:20241211T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31303739-3331-4331-b663-343730666130
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241218T151000Z
DTEND:20241218T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36373736-3435-4138-b436-626466333962
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241225T151000Z
DTEND:20241225T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39303133-6335-4363-a636-613437656632
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250101T151000Z
DTEND:20250101T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37303230-3039-4832-b338-353839656163
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250108T151000Z
DTEND:20250108T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38376263-6662-4233-b236-386366646430
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250115T151000Z
DTEND:20250115T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38626133-6333-4734-a664-313637393264
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250122T151000Z
DTEND:20250122T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61363164-3939-4565-a532-396531383762
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250129T151000Z
DTEND:20250129T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63623962-3435-4135-b435-336339316532
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250205T151000Z
DTEND:20250205T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37396635-6134-4436-a165-643861343361
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250212T151000Z
DTEND:20250212T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
END:VCALENDAR