BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:32356161-3130-4339-a238-396133633435
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:65303238-3838-4237-b663-656363633935
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20241018T081500Z
DTEND:20241018T094500Z
LOCATION:E1 5 002
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:34626263-3138-4666-b937-396536613230
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20241023T141000Z
DTEND:20241023T150000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30373063-3963-4735-a663-643138393534
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20241025T081500Z
DTEND:20241025T094500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:64626564-6235-4561-b532-336565643961
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20241030T151000Z
DTEND:20241030T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31626533-3331-4234-b334-353534363030
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20241101T091500Z
DTEND:20241101T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:31393036-3065-4435-b437-303365363763
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20241106T151000Z
DTEND:20241106T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65313633-6534-4638-b836-396339323862
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20241108T091500Z
DTEND:20241108T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:64303862-3731-4537-b864-333031333561
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20241113T151000Z
DTEND:20241113T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62303839-6664-4136-a339-613430616564
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20241115T091500Z
DTEND:20241115T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:30373931-6635-4663-b232-613762303637
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20241120T151000Z
DTEND:20241120T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34313766-3965-4135-b435-653363366336
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20241122T091500Z
DTEND:20241122T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:34626166-3966-4631-b838-656563626535
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20241127T151000Z
DTEND:20241127T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31623435-3964-4632-a162-383163326133
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20241129T091500Z
DTEND:20241129T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:33646165-3031-4661-b232-663264336439
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20241204T151000Z
DTEND:20241204T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38393031-6239-4434-a466-613533363862
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20241206T091500Z
DTEND:20241206T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:31316236-3063-4638-b239-643363346433
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20241211T151000Z
DTEND:20241211T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31626463-3137-4336-b234-363637303862
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20241213T091500Z
DTEND:20241213T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:39653439-6139-4364-b765-353565396165
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20241218T151000Z
DTEND:20241218T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61623165-6565-4036-b365-343339373530
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20241220T091500Z
DTEND:20241220T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:32666465-3065-4664-a133-336561336130
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20241225T151000Z
DTEND:20241225T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37316465-3061-4230-a261-636630396362
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20241227T091500Z
DTEND:20241227T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:37616566-6530-4637-b737-616561313133
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20250101T151000Z
DTEND:20250101T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38373562-6234-4433-b132-363831633264
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20250103T091500Z
DTEND:20250103T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:30616435-6264-4434-a464-313866306461
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20250108T151000Z
DTEND:20250108T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65633435-3337-4662-b236-613237363061
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20250110T091500Z
DTEND:20250110T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:38373535-6230-4931-b662-333136636339
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20250115T151000Z
DTEND:20250115T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61316631-3763-4362-b965-363166353961
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20250117T091500Z
DTEND:20250117T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:31653933-3939-4534-b566-396534303761
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20250122T151000Z
DTEND:20250122T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30626162-3963-4135-a364-313630343064
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20250124T091500Z
DTEND:20250124T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:34373130-3831-4266-b362-633139373664
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20250129T151000Z
DTEND:20250129T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61326361-3538-4265-a530-336162356165
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20250131T091500Z
DTEND:20250131T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:39623863-3362-4863-b565-313737356439
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20250205T151000Z
DTEND:20250205T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37343435-3261-4138-b935-383562313562
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20250207T091500Z
DTEND:20250207T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:30633239-6434-4464-b530-356164626535
DTSTAMP:20260510T135855Z
DESCRIPTION:
DTSTART:20250212T151000Z
DTEND:20250212T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
END:VCALENDAR