BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:61613934-3836-4563-b135-353566623837
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:34343465-3332-4763-b662-643835643639
DTSTAMP:20260510T162702Z
DESCRIPTION:
DTSTART:20241023T141000Z
DTEND:20241023T150000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39663737-6135-4763-a361-366463326239
DTSTAMP:20260510T162702Z
DESCRIPTION:
DTSTART:20241030T151000Z
DTEND:20241030T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65333430-3931-4638-b438-303231663334
DTSTAMP:20260510T162702Z
DESCRIPTION:
DTSTART:20241106T151000Z
DTEND:20241106T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66376230-6630-4463-a636-373961313865
DTSTAMP:20260510T162702Z
DESCRIPTION:
DTSTART:20241113T151000Z
DTEND:20241113T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66663865-3537-4131-b533-653661633064
DTSTAMP:20260510T162702Z
DESCRIPTION:
DTSTART:20241120T151000Z
DTEND:20241120T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64663964-3565-4435-b838-303064303637
DTSTAMP:20260510T162702Z
DESCRIPTION:
DTSTART:20241127T151000Z
DTEND:20241127T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65623466-3361-4336-a135-383636316664
DTSTAMP:20260510T162702Z
DESCRIPTION:
DTSTART:20241204T151000Z
DTEND:20241204T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33303061-3166-4564-b437-393963383333
DTSTAMP:20260510T162702Z
DESCRIPTION:
DTSTART:20241211T151000Z
DTEND:20241211T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62666566-3934-4032-a366-663532336530
DTSTAMP:20260510T162702Z
DESCRIPTION:
DTSTART:20241218T151000Z
DTEND:20241218T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30323236-6432-4332-a339-323730643830
DTSTAMP:20260510T162702Z
DESCRIPTION:
DTSTART:20241225T151000Z
DTEND:20241225T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66313461-3037-4334-a264-376366376532
DTSTAMP:20260510T162702Z
DESCRIPTION:
DTSTART:20250101T151000Z
DTEND:20250101T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31323137-3935-4931-a431-663737346563
DTSTAMP:20260510T162702Z
DESCRIPTION:
DTSTART:20250108T151000Z
DTEND:20250108T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62396138-6661-4638-b763-623665326161
DTSTAMP:20260510T162702Z
DESCRIPTION:
DTSTART:20250115T151000Z
DTEND:20250115T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33323936-3530-4239-a430-383866343334
DTSTAMP:20260510T162702Z
DESCRIPTION:
DTSTART:20250122T151000Z
DTEND:20250122T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39353638-6137-4365-b233-353361663939
DTSTAMP:20260510T162702Z
DESCRIPTION:
DTSTART:20250129T151000Z
DTEND:20250129T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38383834-6632-4365-b661-306138363562
DTSTAMP:20260510T162702Z
DESCRIPTION:
DTSTART:20250205T151000Z
DTEND:20250205T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61613363-6237-4331-b935-623564336464
DTSTAMP:20260510T162702Z
DESCRIPTION:
DTSTART:20250212T151000Z
DTEND:20250212T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
END:VCALENDAR