BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:35366630-3565-4664-b531-663961623537
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:61353039-3662-4462-b432-373433616231
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241023T141000Z
DTEND:20241023T150000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64623333-6465-4231-b564-646436653834
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241030T151000Z
DTEND:20241030T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31626138-3731-4830-b863-393266666635
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241106T151000Z
DTEND:20241106T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32326566-3739-4337-a262-333333313334
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241113T151000Z
DTEND:20241113T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36663861-6231-4465-b839-333235643662
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241120T151000Z
DTEND:20241120T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66366636-3139-4430-a534-666662653365
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241127T151000Z
DTEND:20241127T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65616238-3831-4563-a436-373662366537
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241204T151000Z
DTEND:20241204T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31343337-3930-4432-a536-623864636239
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241211T151000Z
DTEND:20241211T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34643865-6538-4538-b266-663830643330
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241218T151000Z
DTEND:20241218T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63303437-6465-4933-b465-303461396561
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241225T151000Z
DTEND:20241225T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65656236-3665-4038-a261-623237313565
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250101T151000Z
DTEND:20250101T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39623339-6564-4836-b562-376335353635
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250108T151000Z
DTEND:20250108T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37306161-6330-4232-b866-643762643335
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250115T151000Z
DTEND:20250115T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35613437-3132-4261-b762-613830306466
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250122T151000Z
DTEND:20250122T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31666338-6131-4237-b139-373130343862
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250129T151000Z
DTEND:20250129T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33303261-6661-4139-b430-356436646337
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250205T151000Z
DTEND:20250205T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62303034-6136-4133-b030-363231366234
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250212T151000Z
DTEND:20250212T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
END:VCALENDAR