BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:30353939-6634-4061-b132-396334663364
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:64623161-3536-4362-b962-373535356639
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20241018T081500Z
DTEND:20241018T094500Z
LOCATION:E1 5 002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:35383166-3231-4333-b730-333863626364
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20241023T141000Z
DTEND:20241023T150000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39336461-6162-4236-a534-353138316631
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20241025T081500Z
DTEND:20241025T094500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62373939-3731-4261-a131-623861653638
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20241030T151000Z
DTEND:20241030T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62623439-6437-4434-a361-386134323864
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20241101T091500Z
DTEND:20241101T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37613334-3939-4666-b364-643135386134
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20241106T151000Z
DTEND:20241106T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31353330-3732-4436-b566-613165623733
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20241108T091500Z
DTEND:20241108T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37336462-3731-4230-b431-316466383436
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20241113T151000Z
DTEND:20241113T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34616134-3464-4432-a238-303166396265
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20241115T091500Z
DTEND:20241115T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36333037-3266-4662-b436-303534613031
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20241120T151000Z
DTEND:20241120T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39326634-3136-4132-b261-626438383766
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20241122T091500Z
DTEND:20241122T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63363637-6566-4663-b232-613862393138
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20241127T151000Z
DTEND:20241127T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35373665-3333-4761-b861-653733343861
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20241129T091500Z
DTEND:20241129T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:38656636-6161-4639-b131-653330623862
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20241204T151000Z
DTEND:20241204T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30353033-3161-4732-b032-616539366239
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20241206T091500Z
DTEND:20241206T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:35386432-6338-4433-b631-366337656631
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20241211T151000Z
DTEND:20241211T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37366465-3665-4566-b961-366634643163
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20241213T091500Z
DTEND:20241213T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61653536-3438-4537-a439-363338653864
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20241218T151000Z
DTEND:20241218T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36613538-6338-4663-a131-613339646463
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20241220T091500Z
DTEND:20241220T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63383338-6331-4334-b766-633230386263
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20241225T151000Z
DTEND:20241225T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63343064-3966-4232-b336-616539303736
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20241227T091500Z
DTEND:20241227T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36633537-3735-4133-b233-643164316531
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20250101T151000Z
DTEND:20250101T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61663637-6362-4632-b338-323366396638
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20250103T091500Z
DTEND:20250103T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62653264-3161-4266-b538-623232633533
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20250108T151000Z
DTEND:20250108T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33383037-3533-4138-b064-326139643866
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20250110T091500Z
DTEND:20250110T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39303836-3835-4466-b262-363539653231
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20250115T151000Z
DTEND:20250115T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66386363-3134-4662-a333-663862326237
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20250117T091500Z
DTEND:20250117T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32363937-6562-4661-b662-363461623939
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20250122T151000Z
DTEND:20250122T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66666438-3833-4334-b036-653866633161
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20250124T091500Z
DTEND:20250124T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30393733-3034-4364-a366-623534646562
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20250129T151000Z
DTEND:20250129T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35643564-6633-4337-b935-376662336337
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20250131T091500Z
DTEND:20250131T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31623130-3932-4432-b831-393432393835
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20250205T151000Z
DTEND:20250205T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32633661-3238-4364-a131-303731363038
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20250207T091500Z
DTEND:20250207T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:34326334-3635-4035-b363-346532666431
DTSTAMP:20260814T054239Z
DESCRIPTION:
DTSTART:20250212T151000Z
DTEND:20250212T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
END:VCALENDAR