BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:34646535-3934-4739-b665-666434373432
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:37393530-3534-4832-b530-663063393561
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20241018T081500Z
DTEND:20241018T094500Z
LOCATION:E1 5 002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:38353832-3733-4332-b665-383933376565
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20241023T141000Z
DTEND:20241023T150000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32383633-6665-4234-a531-373632663337
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20241025T081500Z
DTEND:20241025T094500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62653138-3639-4934-b937-636634386638
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20241030T151000Z
DTEND:20241030T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37613138-3639-4864-a263-373465663137
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20241101T091500Z
DTEND:20241101T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64366364-3165-4364-a231-323334633362
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20241106T151000Z
DTEND:20241106T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30636539-3534-4230-a565-303462643839
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20241108T091500Z
DTEND:20241108T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66373135-3062-4730-b265-316565646437
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20241113T151000Z
DTEND:20241113T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62383133-6337-4233-b938-323764313530
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20241115T091500Z
DTEND:20241115T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66306230-3032-4534-b333-316132346531
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20241120T151000Z
DTEND:20241120T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31653666-3034-4863-a439-653634376537
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20241122T091500Z
DTEND:20241122T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:35356233-3934-4434-b435-643065323862
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20241127T151000Z
DTEND:20241127T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38343232-3436-4665-a461-386131376664
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20241129T091500Z
DTEND:20241129T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:35363939-3334-4366-b034-623131343561
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20241204T151000Z
DTEND:20241204T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39636165-3936-4434-b832-336339323133
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20241206T091500Z
DTEND:20241206T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32336363-3661-4739-b562-316466313131
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20241211T151000Z
DTEND:20241211T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34303137-3935-4166-b631-666562613836
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20241213T091500Z
DTEND:20241213T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61616230-3832-4166-b938-373735383264
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20241218T151000Z
DTEND:20241218T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39376262-3165-4534-a464-343031306535
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20241220T091500Z
DTEND:20241220T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66336630-3064-4230-b930-656432303433
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20241225T151000Z
DTEND:20241225T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64636638-3537-4532-b730-396132326536
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20241227T091500Z
DTEND:20241227T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31353038-3539-4130-a532-366431306336
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20250101T151000Z
DTEND:20250101T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61613033-6165-4762-a332-316566373432
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20250103T091500Z
DTEND:20250103T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39303034-6462-4638-b662-323662613136
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20250108T151000Z
DTEND:20250108T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63633036-3439-4332-b361-366362366638
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20250110T091500Z
DTEND:20250110T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:38636366-3565-4533-b339-313839333634
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20250115T151000Z
DTEND:20250115T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63633530-6334-4934-b165-316466626430
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20250117T091500Z
DTEND:20250117T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64333931-3936-4463-b337-653430356536
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20250122T151000Z
DTEND:20250122T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61656130-3737-4130-b638-636539656162
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20250124T091500Z
DTEND:20250124T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33323463-3163-4436-b238-636363626538
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20250129T151000Z
DTEND:20250129T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61346637-3335-4930-b833-663337303964
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20250131T091500Z
DTEND:20250131T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32343932-3632-4866-b433-303832326233
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20250205T151000Z
DTEND:20250205T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65636336-3537-4866-b334-373230613866
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20250207T091500Z
DTEND:20250207T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:35643761-3238-4138-a635-336438373861
DTSTAMP:20260929T122849Z
DESCRIPTION:
DTSTART:20250212T151000Z
DTEND:20250212T160000Z
LOCATION:E1 5 029
SUMMARY:Tutorial
END:VEVENT
END:VCALENDAR