BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:64656631-3031-4362-a235-626630303530
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:32323531-6263-4131-b738-633535653562
DTSTAMP:20260510T140010Z
DESCRIPTION:
DTSTART:20241018T081500Z
DTEND:20241018T094500Z
LOCATION:E1 5 002
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:66656661-3231-4135-b964-663637633535
DTSTAMP:20260510T140010Z
DESCRIPTION:
DTSTART:20241025T081500Z
DTEND:20241025T094500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:31396265-3433-4635-b338-396437626630
DTSTAMP:20260510T140010Z
DESCRIPTION:
DTSTART:20241101T091500Z
DTEND:20241101T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:32343832-6231-4837-a264-343330623564
DTSTAMP:20260510T140010Z
DESCRIPTION:
DTSTART:20241108T091500Z
DTEND:20241108T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:35333834-3839-4230-a430-633039386365
DTSTAMP:20260510T140010Z
DESCRIPTION:
DTSTART:20241115T091500Z
DTEND:20241115T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:34656166-3663-4331-b864-636162316635
DTSTAMP:20260510T140010Z
DESCRIPTION:
DTSTART:20241122T091500Z
DTEND:20241122T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:31663932-3965-4463-b538-366663303630
DTSTAMP:20260510T140010Z
DESCRIPTION:
DTSTART:20241129T091500Z
DTEND:20241129T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:38326538-3962-4638-b662-353131313162
DTSTAMP:20260510T140010Z
DESCRIPTION:
DTSTART:20241206T091500Z
DTEND:20241206T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:39633561-6264-4865-b665-343961616264
DTSTAMP:20260510T140010Z
DESCRIPTION:
DTSTART:20241213T091500Z
DTEND:20241213T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:36313861-6462-4865-b235-646261313338
DTSTAMP:20260510T140010Z
DESCRIPTION:
DTSTART:20241220T091500Z
DTEND:20241220T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:30653536-3232-4030-b137-323066396631
DTSTAMP:20260510T140010Z
DESCRIPTION:
DTSTART:20241227T091500Z
DTEND:20241227T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:31353566-6230-4531-a331-383136633132
DTSTAMP:20260510T140010Z
DESCRIPTION:
DTSTART:20250103T091500Z
DTEND:20250103T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:61386334-6666-4931-b536-376239306138
DTSTAMP:20260510T140010Z
DESCRIPTION:
DTSTART:20250110T091500Z
DTEND:20250110T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:63626536-6130-4339-a365-336634323665
DTSTAMP:20260510T140010Z
DESCRIPTION:
DTSTART:20250117T091500Z
DTEND:20250117T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:35663563-6665-4230-a362-376330316263
DTSTAMP:20260510T140010Z
DESCRIPTION:
DTSTART:20250124T091500Z
DTEND:20250124T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:61303637-3932-4738-b935-633031616435
DTSTAMP:20260510T140010Z
DESCRIPTION:
DTSTART:20250131T091500Z
DTEND:20250131T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:39653766-6436-4133-a230-366562396536
DTSTAMP:20260510T140010Z
DESCRIPTION:
DTSTART:20250207T091500Z
DTEND:20250207T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
END:VCALENDAR