BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:32666664-6137-4663-a466-653134393164
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:66306662-3638-4330-a533-363036303566
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20241018T081500Z
DTEND:20241018T094500Z
LOCATION:E1 5 002
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:36316335-6333-4163-a236-376266383162
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20241023T141000Z
DTEND:20241023T150000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61616430-3039-4165-b832-356635613036
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20241025T081500Z
DTEND:20241025T094500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:33326333-3538-4537-b939-643938323963
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20241030T151000Z
DTEND:20241030T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66336533-3337-4535-a164-613233643337
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20241101T091500Z
DTEND:20241101T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:38336430-3034-4630-a265-343061623133
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20241106T151000Z
DTEND:20241106T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37626366-3662-4034-a132-363061373664
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20241108T091500Z
DTEND:20241108T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:36356465-3237-4239-b032-613937323636
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20241113T151000Z
DTEND:20241113T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37663962-6366-4464-a664-333935646336
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20241115T091500Z
DTEND:20241115T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:66333933-3563-4534-b233-393961313434
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20241120T151000Z
DTEND:20241120T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33613765-3264-4861-b765-623733316432
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20241122T091500Z
DTEND:20241122T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:61353530-3535-4035-a232-353631346339
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20241127T151000Z
DTEND:20241127T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31613962-3561-4030-b931-363765346336
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20241129T091500Z
DTEND:20241129T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:64393233-3165-4664-b163-656539653934
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20241204T151000Z
DTEND:20241204T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37653064-6532-4633-a162-396266386337
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20241206T091500Z
DTEND:20241206T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:63653337-6332-4166-b832-336563633235
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20241211T151000Z
DTEND:20241211T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63326638-6234-4038-a637-353832626439
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20241213T091500Z
DTEND:20241213T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:34623063-6536-4638-b735-323365316465
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20241218T151000Z
DTEND:20241218T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65303033-3939-4164-b330-666634626436
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20241220T091500Z
DTEND:20241220T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:65633631-3630-4163-a264-333039623832
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20241225T151000Z
DTEND:20241225T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66313439-3730-4631-b032-303635316362
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20241227T091500Z
DTEND:20241227T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:30353761-3439-4334-b964-366635383433
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20250101T151000Z
DTEND:20250101T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31343165-6437-4864-a563-353939343038
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20250103T091500Z
DTEND:20250103T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:66636336-3833-4363-b266-623661326531
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20250108T151000Z
DTEND:20250108T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38336231-3931-4530-a663-306361663231
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20250110T091500Z
DTEND:20250110T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:35363630-3563-4335-b362-646531623262
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20250115T151000Z
DTEND:20250115T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39383137-6633-4064-a538-303139373334
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20250117T091500Z
DTEND:20250117T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:65646138-6564-4666-a463-333231343763
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20250122T151000Z
DTEND:20250122T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37376164-3930-4531-b232-333538333437
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20250124T091500Z
DTEND:20250124T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:66386137-3338-4366-b637-613662393062
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20250129T151000Z
DTEND:20250129T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63356138-6264-4664-b165-663964356463
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20250131T091500Z
DTEND:20250131T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:64333938-6336-4137-a465-613463366462
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20250205T151000Z
DTEND:20250205T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63313637-3033-4239-b563-343539336231
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20250207T091500Z
DTEND:20250207T104500Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Lecture
END:VEVENT
BEGIN:VEVENT
UID:66623136-3963-4962-a466-363431656666
DTSTAMP:20260923T132813Z
DESCRIPTION:
DTSTART:20250212T151000Z
DTEND:20250212T160000Z
LOCATION:E1 5 029
SUMMARY:Sysverification2425: Tutorial
END:VEVENT
END:VCALENDAR