BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:62623033-6238-4463-b161-393138333236
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:36366635-3833-4964-b836-666533383930
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20241018T081500Z
DTEND:20241018T094500Z
LOCATION:E1 5 002
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:62353964-6233-4662-b766-326365376434
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20241023T141000Z
DTEND:20241023T150000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63306434-3734-4635-a133-643032623364
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20241025T081500Z
DTEND:20241025T094500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:30356463-3230-4663-b935-653735383165
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20241030T151000Z
DTEND:20241030T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30303632-6263-4331-a234-326130613434
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20241101T091500Z
DTEND:20241101T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:63373031-6330-4736-b965-366231376233
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20241106T151000Z
DTEND:20241106T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33613132-3165-4239-b436-653930336230
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20241108T091500Z
DTEND:20241108T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:37646534-6334-4438-a131-383639616434
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20241113T151000Z
DTEND:20241113T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63356161-3039-4134-b464-363836326336
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20241115T091500Z
DTEND:20241115T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:36373263-3931-4361-a231-663664326535
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20241120T151000Z
DTEND:20241120T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65333038-3565-4561-b435-313164373732
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20241122T091500Z
DTEND:20241122T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:38393538-3638-4333-b963-633631326335
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20241127T151000Z
DTEND:20241127T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34666531-3663-4535-b264-643064303631
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20241129T091500Z
DTEND:20241129T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:33313865-3233-4935-a437-643131396330
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20241204T151000Z
DTEND:20241204T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61383537-3665-4633-a364-306365636334
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20241206T091500Z
DTEND:20241206T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:39346465-6331-4433-b234-346338613434
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20241211T151000Z
DTEND:20241211T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36623438-3761-4361-b930-303538663462
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20241213T091500Z
DTEND:20241213T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:63323438-3231-4939-b136-666561366535
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20241218T151000Z
DTEND:20241218T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37633631-6337-4238-b361-383866623464
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20241220T091500Z
DTEND:20241220T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:35313465-6235-4930-a531-643434323739
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20241225T151000Z
DTEND:20241225T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37323632-6230-4038-b036-323438386130
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20241227T091500Z
DTEND:20241227T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:31623031-3237-4463-b134-383433303533
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20250101T151000Z
DTEND:20250101T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37363462-3264-4038-b766-383464346335
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20250103T091500Z
DTEND:20250103T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:63616561-6138-4038-b065-663462626236
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20250108T151000Z
DTEND:20250108T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33313632-6336-4564-a661-386161643963
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20250110T091500Z
DTEND:20250110T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:39663963-3530-4165-b239-306566313463
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20250115T151000Z
DTEND:20250115T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61373137-6538-4736-a435-386433376334
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20250117T091500Z
DTEND:20250117T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:63326335-3763-4066-a133-323838333764
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20250122T151000Z
DTEND:20250122T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61386462-3565-4237-a364-363338653839
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20250124T091500Z
DTEND:20250124T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:31333561-3466-4738-b639-333961383537
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20250129T151000Z
DTEND:20250129T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35343335-3264-4139-a663-646231646332
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20250131T091500Z
DTEND:20250131T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:36333632-3463-4031-b036-613061323930
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20250205T151000Z
DTEND:20250205T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32356535-6330-4865-b564-353337616132
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20250207T091500Z
DTEND:20250207T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:30366338-3334-4663-a132-653265383334
DTSTAMP:20260630T075753Z
DESCRIPTION:
DTSTART:20250212T151000Z
DTEND:20250212T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
END:VCALENDAR