BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:39663538-3430-4466-b163-313133653033
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:61356338-3061-4661-b039-376332353862
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241018T081500Z
DTEND:20241018T094500Z
LOCATION:E1 5 002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66383632-6232-4336-b765-333230323730
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241023T141000Z
DTEND:20241023T150000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35393764-6566-4737-b066-313730366337
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241025T081500Z
DTEND:20241025T094500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61303534-3138-4066-b135-323664626439
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241030T151000Z
DTEND:20241030T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62396436-6536-4038-b835-666432303039
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241101T091500Z
DTEND:20241101T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31663232-6161-4537-b166-613234333635
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241106T151000Z
DTEND:20241106T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37313861-3064-4734-a233-343562393835
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241108T091500Z
DTEND:20241108T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39613038-3666-4433-b364-323635363063
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241113T151000Z
DTEND:20241113T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34386263-3038-4430-b535-613061346365
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241115T091500Z
DTEND:20241115T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37356265-3066-4438-b832-326437343634
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241120T151000Z
DTEND:20241120T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31336331-3235-4661-a133-666338346335
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241122T091500Z
DTEND:20241122T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61333839-3764-4964-a661-333465623339
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241127T151000Z
DTEND:20241127T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62306431-3434-4166-b631-623166636165
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241129T091500Z
DTEND:20241129T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33386363-3334-4435-b164-313935646637
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241204T151000Z
DTEND:20241204T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31356566-6532-4435-b439-653665656362
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241206T091500Z
DTEND:20241206T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62363339-6136-4131-b761-656661353538
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241211T151000Z
DTEND:20241211T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65373938-3631-4661-b637-383766306564
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241213T091500Z
DTEND:20241213T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39316634-3130-4266-b038-393534636137
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241218T151000Z
DTEND:20241218T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39323430-3165-4033-b039-616338306362
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241220T091500Z
DTEND:20241220T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:35356333-3234-4166-b833-626534343665
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241225T151000Z
DTEND:20241225T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63393635-3434-4632-a238-636632396562
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20241227T091500Z
DTEND:20241227T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33336361-6464-4334-a365-336139386463
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250101T151000Z
DTEND:20250101T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33316135-3039-4861-b733-643834623066
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250103T091500Z
DTEND:20250103T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32663061-6431-4437-b764-626636363233
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250108T151000Z
DTEND:20250108T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63376666-3130-4633-b664-343766633832
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250110T091500Z
DTEND:20250110T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32666664-3133-4336-b839-353434356334
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250115T151000Z
DTEND:20250115T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34636330-3631-4365-b731-366661383830
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250117T091500Z
DTEND:20250117T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65343531-6136-4662-b765-666631356561
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250122T151000Z
DTEND:20250122T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36653436-3936-4363-b839-663837333634
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250124T091500Z
DTEND:20250124T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62343765-6162-4434-a537-633064393736
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250129T151000Z
DTEND:20250129T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39366161-3334-4661-b732-323664336632
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250131T091500Z
DTEND:20250131T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61393665-6666-4836-b663-633030303862
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250205T151000Z
DTEND:20250205T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64356665-6336-4234-b138-653736383139
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250207T091500Z
DTEND:20250207T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:38303739-3636-4561-b338-626161633538
DTSTAMP:20260520T065907Z
DESCRIPTION:
DTSTART:20250212T151000Z
DTEND:20250212T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
END:VCALENDAR