BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:62386331-6633-4938-b663-666166376536
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:33326132-6561-4935-b636-383938396332
DTSTAMP:20260630T100835Z
DESCRIPTION:
DTSTART:20241018T081500Z
DTEND:20241018T094500Z
LOCATION:E1 5 002
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:64623461-6466-4930-b365-303066313839
DTSTAMP:20260630T100835Z
DESCRIPTION:
DTSTART:20241025T081500Z
DTEND:20241025T094500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:65306639-6636-4461-a561-386637623830
DTSTAMP:20260630T100835Z
DESCRIPTION:
DTSTART:20241101T091500Z
DTEND:20241101T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:34356631-3361-4632-b462-306532386130
DTSTAMP:20260630T100835Z
DESCRIPTION:
DTSTART:20241108T091500Z
DTEND:20241108T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:65663239-6439-4931-b138-306264373131
DTSTAMP:20260630T100835Z
DESCRIPTION:
DTSTART:20241115T091500Z
DTEND:20241115T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:61666532-6234-4039-b536-323239306539
DTSTAMP:20260630T100835Z
DESCRIPTION:
DTSTART:20241122T091500Z
DTEND:20241122T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:39316230-6261-4462-a463-333132643766
DTSTAMP:20260630T100835Z
DESCRIPTION:
DTSTART:20241129T091500Z
DTEND:20241129T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:65346139-6539-4738-b664-366233633039
DTSTAMP:20260630T100835Z
DESCRIPTION:
DTSTART:20241206T091500Z
DTEND:20241206T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:34333438-3862-4136-b838-316264663361
DTSTAMP:20260630T100835Z
DESCRIPTION:
DTSTART:20241213T091500Z
DTEND:20241213T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:31623966-6333-4733-b831-613032376464
DTSTAMP:20260630T100835Z
DESCRIPTION:
DTSTART:20241220T091500Z
DTEND:20241220T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:63663537-3031-4235-a263-326530396532
DTSTAMP:20260630T100835Z
DESCRIPTION:
DTSTART:20241227T091500Z
DTEND:20241227T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:61373130-3335-4733-b634-656361653738
DTSTAMP:20260630T100835Z
DESCRIPTION:
DTSTART:20250103T091500Z
DTEND:20250103T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:63353838-3938-4465-a638-353539613066
DTSTAMP:20260630T100835Z
DESCRIPTION:
DTSTART:20250110T091500Z
DTEND:20250110T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:61633938-3664-4531-b266-396562653062
DTSTAMP:20260630T100835Z
DESCRIPTION:
DTSTART:20250117T091500Z
DTEND:20250117T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:64633763-3161-4564-b031-643136326533
DTSTAMP:20260630T100835Z
DESCRIPTION:
DTSTART:20250124T091500Z
DTEND:20250124T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:65303133-6336-4038-a331-326462626166
DTSTAMP:20260630T100835Z
DESCRIPTION:
DTSTART:20250131T091500Z
DTEND:20250131T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:34306533-6435-4665-a434-343830346563
DTSTAMP:20260630T100835Z
DESCRIPTION:
DTSTART:20250207T091500Z
DTEND:20250207T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
END:VCALENDAR