BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.71//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:61306337-3831-4235-a662-323635353337
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:32636463-6135-4863-a266-666432376337
DTSTAMP:20260416T192708Z
DESCRIPTION:
DTSTART:20241023T141000Z
DTEND:20241023T150000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37646539-3630-4162-b336-386335363264
DTSTAMP:20260416T192708Z
DESCRIPTION:
DTSTART:20241030T151000Z
DTEND:20241030T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36653036-6532-4737-b838-396637616166
DTSTAMP:20260416T192708Z
DESCRIPTION:
DTSTART:20241106T151000Z
DTEND:20241106T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38656661-6130-4234-b836-363635666338
DTSTAMP:20260416T192708Z
DESCRIPTION:
DTSTART:20241113T151000Z
DTEND:20241113T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61373835-3163-4231-b936-346431313234
DTSTAMP:20260416T192708Z
DESCRIPTION:
DTSTART:20241120T151000Z
DTEND:20241120T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66393537-6639-4238-a230-396662363961
DTSTAMP:20260416T192708Z
DESCRIPTION:
DTSTART:20241127T151000Z
DTEND:20241127T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32366235-6132-4634-b432-613430636532
DTSTAMP:20260416T192708Z
DESCRIPTION:
DTSTART:20241204T151000Z
DTEND:20241204T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62323664-3630-4266-b266-326661366637
DTSTAMP:20260416T192708Z
DESCRIPTION:
DTSTART:20241211T151000Z
DTEND:20241211T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39393162-3666-4039-a264-623138316535
DTSTAMP:20260416T192708Z
DESCRIPTION:
DTSTART:20241218T151000Z
DTEND:20241218T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63326335-6166-4435-b861-336636313066
DTSTAMP:20260416T192708Z
DESCRIPTION:
DTSTART:20241225T151000Z
DTEND:20241225T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37633233-3064-4261-a665-666565613535
DTSTAMP:20260416T192708Z
DESCRIPTION:
DTSTART:20250101T151000Z
DTEND:20250101T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62636630-3036-4763-a563-643335626330
DTSTAMP:20260416T192708Z
DESCRIPTION:
DTSTART:20250108T151000Z
DTEND:20250108T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65343862-3734-4432-a639-333437383965
DTSTAMP:20260416T192708Z
DESCRIPTION:
DTSTART:20250115T151000Z
DTEND:20250115T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35633064-3363-4930-b032-393938666533
DTSTAMP:20260416T192708Z
DESCRIPTION:
DTSTART:20250122T151000Z
DTEND:20250122T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36656135-3530-4538-a662-343166386537
DTSTAMP:20260416T192708Z
DESCRIPTION:
DTSTART:20250129T151000Z
DTEND:20250129T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66336366-6164-4635-a631-323361343438
DTSTAMP:20260416T192708Z
DESCRIPTION:
DTSTART:20250205T151000Z
DTEND:20250205T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32383263-6566-4761-a535-626264373830
DTSTAMP:20260416T192708Z
DESCRIPTION:
DTSTART:20250212T151000Z
DTEND:20250212T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
END:VCALENDAR