BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.71//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:61643236-3134-4633-a562-306431323135
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:64366361-3933-4032-b964-663836643430
DTSTAMP:20260416T192559Z
DESCRIPTION:
DTSTART:20241018T081500Z
DTEND:20241018T094500Z
LOCATION:E1 5 002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65636361-6563-4337-a166-383165373162
DTSTAMP:20260416T192559Z
DESCRIPTION:
DTSTART:20241025T081500Z
DTEND:20241025T094500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:35626462-6638-4862-a163-326433636134
DTSTAMP:20260416T192559Z
DESCRIPTION:
DTSTART:20241101T091500Z
DTEND:20241101T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33323464-3761-4138-b866-663736326438
DTSTAMP:20260416T192559Z
DESCRIPTION:
DTSTART:20241108T091500Z
DTEND:20241108T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37333263-3433-4232-a531-666565653464
DTSTAMP:20260416T192559Z
DESCRIPTION:
DTSTART:20241115T091500Z
DTEND:20241115T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66386131-3737-4332-b935-633663646237
DTSTAMP:20260416T192559Z
DESCRIPTION:
DTSTART:20241122T091500Z
DTEND:20241122T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30316331-3635-4431-b932-656237306339
DTSTAMP:20260416T192559Z
DESCRIPTION:
DTSTART:20241129T091500Z
DTEND:20241129T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39646538-3134-4464-b739-386564333039
DTSTAMP:20260416T192559Z
DESCRIPTION:
DTSTART:20241206T091500Z
DTEND:20241206T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66306662-3239-4761-a431-396435356337
DTSTAMP:20260416T192559Z
DESCRIPTION:
DTSTART:20241213T091500Z
DTEND:20241213T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65613561-3439-4561-a431-616264363362
DTSTAMP:20260416T192559Z
DESCRIPTION:
DTSTART:20241220T091500Z
DTEND:20241220T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64386233-6335-4065-b165-653566353038
DTSTAMP:20260416T192559Z
DESCRIPTION:
DTSTART:20241227T091500Z
DTEND:20241227T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31323261-3736-4537-b130-643531363738
DTSTAMP:20260416T192559Z
DESCRIPTION:
DTSTART:20250103T091500Z
DTEND:20250103T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61623265-3063-4166-a136-646362366433
DTSTAMP:20260416T192559Z
DESCRIPTION:
DTSTART:20250110T091500Z
DTEND:20250110T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36356633-6439-4136-b336-366335336665
DTSTAMP:20260416T192559Z
DESCRIPTION:
DTSTART:20250117T091500Z
DTEND:20250117T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33623731-3736-4335-b933-313265353639
DTSTAMP:20260416T192559Z
DESCRIPTION:
DTSTART:20250124T091500Z
DTEND:20250124T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30363034-6633-4165-b630-643333613839
DTSTAMP:20260416T192559Z
DESCRIPTION:
DTSTART:20250131T091500Z
DTEND:20250131T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:34336534-6530-4636-b430-383837613233
DTSTAMP:20260416T192559Z
DESCRIPTION:
DTSTART:20250207T091500Z
DTEND:20250207T104500Z
LOCATION:E1 5 029
SUMMARY:Lecture
END:VEVENT
END:VCALENDAR