BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:31633562-3633-4739-b630-313130386231
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:32623530-6663-4338-b735-326231323337
DTSTAMP:20260903T080815Z
DESCRIPTION:
DTSTART:20241018T081500Z
DTEND:20241018T094500Z
LOCATION:E1 5 002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:35366331-3361-4031-b364-313466633763
DTSTAMP:20260903T080815Z
DESCRIPTION:
DTSTART:20241025T081500Z
DTEND:20241025T094500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63326233-6531-4436-b831-343365646664
DTSTAMP:20260903T080815Z
DESCRIPTION:
DTSTART:20241101T091500Z
DTEND:20241101T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39393132-3266-4663-b666-386133633166
DTSTAMP:20260903T080815Z
DESCRIPTION:
DTSTART:20241108T091500Z
DTEND:20241108T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65653535-3230-4165-b330-393539373161
DTSTAMP:20260903T080815Z
DESCRIPTION:
DTSTART:20241115T091500Z
DTEND:20241115T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31303233-3265-4161-a666-623335666363
DTSTAMP:20260903T080815Z
DESCRIPTION:
DTSTART:20241122T091500Z
DTEND:20241122T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61623663-3737-4664-a133-633761393964
DTSTAMP:20260903T080815Z
DESCRIPTION:
DTSTART:20241129T091500Z
DTEND:20241129T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63343964-3665-4132-b230-316561306630
DTSTAMP:20260903T080815Z
DESCRIPTION:
DTSTART:20241206T091500Z
DTEND:20241206T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63323335-6261-4138-b662-333461323133
DTSTAMP:20260903T080815Z
DESCRIPTION:
DTSTART:20241213T091500Z
DTEND:20241213T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39666663-3731-4062-b930-323766336633
DTSTAMP:20260903T080815Z
DESCRIPTION:
DTSTART:20241220T091500Z
DTEND:20241220T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:35383535-6539-4434-b138-663562643035
DTSTAMP:20260903T080815Z
DESCRIPTION:
DTSTART:20241227T091500Z
DTEND:20241227T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64616333-3934-4462-b836-643637383330
DTSTAMP:20260903T080815Z
DESCRIPTION:
DTSTART:20250103T091500Z
DTEND:20250103T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31396633-3033-4037-a239-313561303733
DTSTAMP:20260903T080815Z
DESCRIPTION:
DTSTART:20250110T091500Z
DTEND:20250110T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61646163-3031-4933-b734-346235633863
DTSTAMP:20260903T080815Z
DESCRIPTION:
DTSTART:20250117T091500Z
DTEND:20250117T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62333664-6565-4338-b163-353166653965
DTSTAMP:20260903T080815Z
DESCRIPTION:
DTSTART:20250124T091500Z
DTEND:20250124T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63373833-6635-4233-b937-333931353033
DTSTAMP:20260903T080815Z
DESCRIPTION:
DTSTART:20250131T091500Z
DTEND:20250131T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30613233-3634-4438-b263-623864633762
DTSTAMP:20260903T080815Z
DESCRIPTION:
DTSTART:20250207T091500Z
DTEND:20250207T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
END:VCALENDAR