BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.71//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:33666239-3362-4235-a165-303864666434
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:39353066-3635-4561-b030-343335393236
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20241018T081500Z
DTEND:20241018T094500Z
LOCATION:E1 5 002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31643132-6332-4439-a435-393636306664
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20241023T141000Z
DTEND:20241023T150000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31663133-3231-4630-b563-333139306530
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20241025T081500Z
DTEND:20241025T094500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62626537-6239-4534-a534-653134613039
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20241030T151000Z
DTEND:20241030T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33373831-6638-4132-a665-643366333635
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20241101T091500Z
DTEND:20241101T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37656233-3638-4165-b530-613264323264
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20241106T151000Z
DTEND:20241106T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62653430-3438-4166-b332-323834396337
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20241108T091500Z
DTEND:20241108T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36633333-6163-4737-a665-643764383231
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20241113T151000Z
DTEND:20241113T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66626663-6134-4131-b734-643431633830
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20241115T091500Z
DTEND:20241115T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65383036-6366-4131-b938-616133633566
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20241120T151000Z
DTEND:20241120T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62306330-6661-4936-a230-336266326263
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20241122T091500Z
DTEND:20241122T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61366662-3935-4165-a338-323664643766
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20241127T151000Z
DTEND:20241127T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37623964-6662-4431-a266-353036356132
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20241129T091500Z
DTEND:20241129T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66353864-6536-4765-a563-656133666361
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20241204T151000Z
DTEND:20241204T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65356335-3031-4364-b430-653834656236
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20241206T091500Z
DTEND:20241206T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66356135-3030-4430-b562-386637393362
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20241211T151000Z
DTEND:20241211T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35336539-6666-4165-b836-336335643263
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20241213T091500Z
DTEND:20241213T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39393265-3538-4130-a631-633661386139
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20241218T151000Z
DTEND:20241218T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64393064-3262-4230-a161-326430343866
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20241220T091500Z
DTEND:20241220T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61396465-3131-4438-a235-646136373566
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20241225T151000Z
DTEND:20241225T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32333138-6533-4134-a166-653266303438
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20241227T091500Z
DTEND:20241227T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31353437-3830-4261-b231-363964663138
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20250101T151000Z
DTEND:20250101T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66653336-3938-4065-b136-653462643965
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20250103T091500Z
DTEND:20250103T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61333439-3436-4531-b961-393738356139
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20250108T151000Z
DTEND:20250108T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35666634-6234-4433-b930-363764643738
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20250110T091500Z
DTEND:20250110T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33393066-6132-4462-b366-303835356532
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20250115T151000Z
DTEND:20250115T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35303861-3064-4565-b836-393865313463
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20250117T091500Z
DTEND:20250117T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31653233-6432-4665-b666-323735383731
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20250122T151000Z
DTEND:20250122T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63333438-3630-4139-a365-623736656636
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20250124T091500Z
DTEND:20250124T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62633566-3130-4332-b530-643961363834
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20250129T151000Z
DTEND:20250129T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33333635-6636-4236-b532-363635373666
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20250131T091500Z
DTEND:20250131T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65653637-3866-4561-a331-316238613236
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20250205T151000Z
DTEND:20250205T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61343032-6231-4433-b564-383932313966
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20250207T091500Z
DTEND:20250207T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30313434-3137-4661-b066-626562333236
DTSTAMP:20260416T192502Z
DESCRIPTION:
DTSTART:20250212T151000Z
DTEND:20250212T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
END:VCALENDAR