BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:65613038-3764-4630-a536-653538623866
X-WR-CALNAME:Quantitative Model Checking Calendar
X-WR-CALDESC:Events of the lecture Quantitative Model Checking
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:61396538-6137-4365-b330-306235623666
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250410T100100Z
DTEND:20250410T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 0+1
END:VEVENT
BEGIN:VEVENT
UID:35383363-3062-4631-b433-313633663864
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250410T122900Z
DTEND:20250410T140000Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 2
END:VEVENT
BEGIN:VEVENT
UID:64653732-3439-4530-b535-333332613133
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250410T160100Z
DTEND:20250410T160100Z
SUMMARY:Tutorial Sheet 1 (QMC 1+2)
END:VEVENT
BEGIN:VEVENT
UID:30623266-3866-4937-b937-663236636334
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250417T100100Z
DTEND:20250417T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 1+2
END:VEVENT
BEGIN:VEVENT
UID:62643339-6232-4336-b838-623333633135
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250417T122500Z
DTEND:20250417T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 3
END:VEVENT
BEGIN:VEVENT
UID:66643564-3135-4439-b231-636535343234
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250417T160100Z
DTEND:20250417T160100Z
SUMMARY:Theory Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:38313733-3538-4038-b335-396239663433
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250424T100100Z
DTEND:20250424T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 4
END:VEVENT
BEGIN:VEVENT
UID:33653636-3462-4337-b235-376466366338
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250424T122500Z
DTEND:20250424T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 5
END:VEVENT
BEGIN:VEVENT
UID:63383830-6465-4364-b466-386235376466
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250424T160000Z
DTEND:20250424T160000Z
SUMMARY:Tutorial Sheet 2 (QMC 3+4+5)
END:VEVENT
BEGIN:VEVENT
UID:36393333-3734-4330-b437-366532323564
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250424T160100Z
DTEND:20250424T160100Z
SUMMARY:Theory Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:37366139-6631-4666-a361-373861626333
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250429T120000Z
DTEND:20250429T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 1
END:VEVENT
BEGIN:VEVENT
UID:33356461-3338-4434-a337-636363653838
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250502T120000Z
DTEND:20250502T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 2
END:VEVENT
BEGIN:VEVENT
UID:61393766-3063-4431-a534-313936643966
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250508T095900Z
DTEND:20250508T095900Z
SUMMARY:Deadline Theory Assignment 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:30643864-6133-4139-b236-623862616164
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250508T100100Z
DTEND:20250508T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 3+4+5
END:VEVENT
BEGIN:VEVENT
UID:34333661-6638-4365-a337-363365326337
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250508T122500Z
DTEND:20250508T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 6
END:VEVENT
BEGIN:VEVENT
UID:66646431-3335-4139-a166-653534636162
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250508T160000Z
DTEND:20250508T160000Z
SUMMARY:Tutorial Sheet 3 (QMC 6)
END:VEVENT
BEGIN:VEVENT
UID:30663234-3439-4530-b836-323736626264
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250508T160100Z
DTEND:20250508T160100Z
SUMMARY:Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:34633434-3763-4762-b533-643338376337
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250515T100100Z
DTEND:20250515T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 6
END:VEVENT
BEGIN:VEVENT
UID:36323039-6131-4137-b263-363162303330
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250515T122500Z
DTEND:20250515T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 7
END:VEVENT
BEGIN:VEVENT
UID:36363239-3565-4965-a335-656538326164
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250515T160000Z
DTEND:20250515T160000Z
SUMMARY:Tutorial Sheet 4 (QMC 7)
END:VEVENT
BEGIN:VEVENT
UID:38643932-3331-4235-b236-613636393062
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250515T160100Z
DTEND:20250515T160100Z
SUMMARY:Theory Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:32396164-6538-4965-a438-666237356237
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250522T095900Z
DTEND:20250522T095900Z
SUMMARY:Deadline Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:30623661-6135-4332-b537-623035376131
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250522T100100Z
DTEND:20250522T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 7
END:VEVENT
BEGIN:VEVENT
UID:63663536-3665-4134-b962-633862653766
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250522T122500Z
DTEND:20250522T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 8
END:VEVENT
BEGIN:VEVENT
UID:36346466-3565-4539-a361-353661313134
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250522T160000Z
DTEND:20250522T160000Z
SUMMARY:Tutorial Sheet 5 (QMC 8)
END:VEVENT
BEGIN:VEVENT
UID:63306133-6338-4234-a363-306334333939
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250522T160100Z
DTEND:20250522T160100Z
SUMMARY:Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:39373034-3566-4039-a239-376164313730
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250526T120000Z
DTEND:20250526T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 3
END:VEVENT
BEGIN:VEVENT
UID:33326236-6365-4764-a565-636334636636
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250528T120000Z
DTEND:20250528T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 4
END:VEVENT
BEGIN:VEVENT
UID:39396631-6262-4139-a238-633630666337
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250605T095900Z
DTEND:20250605T095900Z
SUMMARY:Deadline Theory Assignment 3 + Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:33306333-6661-4037-b830-663165633039
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250605T100100Z
DTEND:20250605T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 8
END:VEVENT
BEGIN:VEVENT
UID:32663162-6136-4634-b962-653764323534
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250605T122500Z
DTEND:20250605T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 9
END:VEVENT
BEGIN:VEVENT
UID:30636635-3431-4536-a530-383832373661
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250605T160000Z
DTEND:20250605T160000Z
SUMMARY:Tutorial Sheet 6 (QMC 9)
END:VEVENT
BEGIN:VEVENT
UID:38356463-3361-4335-a264-663162373365
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250605T160100Z
DTEND:20250605T160100Z
SUMMARY:Theory Assignment 4
END:VEVENT
BEGIN:VEVENT
UID:38393066-6136-4434-a264-316164616139
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250612T100100Z
DTEND:20250612T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 9
END:VEVENT
BEGIN:VEVENT
UID:61323932-3632-4261-a663-313764323134
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250612T122500Z
DTEND:20250612T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 10
END:VEVENT
BEGIN:VEVENT
UID:30376433-3535-4530-b366-383930396337
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250612T160000Z
DTEND:20250612T160000Z
SUMMARY:Tutorial Sheet 7 (QMC 10)
END:VEVENT
BEGIN:VEVENT
UID:61343738-3533-4437-b163-366162646334
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250612T160100Z
DTEND:20250612T160100Z
SUMMARY:Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:66623366-6566-4833-a362-376165373435
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250616T080000Z
DTEND:20250616T100000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 5
END:VEVENT
BEGIN:VEVENT
UID:34663766-6464-4265-b537-643163396637
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250618T080000Z
DTEND:20250618T100000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 6
END:VEVENT
BEGIN:VEVENT
UID:64623763-3162-4434-b031-636363316161
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250626T095900Z
DTEND:20250626T095900Z
SUMMARY:Deadline Theory Assignment 4 + Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:36366230-3130-4766-a463-306335646134
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250626T100100Z
DTEND:20250626T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 11
END:VEVENT
BEGIN:VEVENT
UID:39313163-3461-4466-b430-356532333266
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250626T122500Z
DTEND:20250626T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 10
END:VEVENT
BEGIN:VEVENT
UID:31313937-3932-4034-b065-633539666261
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250626T200000Z
DTEND:20250626T200000Z
SUMMARY:Tutorial Sheet 8 (QMC 11)
END:VEVENT
BEGIN:VEVENT
UID:31643031-6237-4438-a332-666537313331
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250626T200100Z
DTEND:20250626T200100Z
SUMMARY:Theory Assignment 5
END:VEVENT
BEGIN:VEVENT
UID:33643461-3235-4538-b462-616465663531
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250703T100100Z
DTEND:20250703T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 11
END:VEVENT
BEGIN:VEVENT
UID:34666239-3939-4162-b334-323861646162
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250703T122500Z
DTEND:20250703T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 12
END:VEVENT
BEGIN:VEVENT
UID:61643532-3339-4162-b961-373433383235
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250703T160000Z
DTEND:20250703T160000Z
SUMMARY:Tutorial Sheet 9 (QMC 12)
END:VEVENT
BEGIN:VEVENT
UID:31646531-3536-4362-a139-663935663431
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250710T095900Z
DTEND:20250710T095900Z
SUMMARY:Deadline Theory Assignment 5
END:VEVENT
BEGIN:VEVENT
UID:39666534-3030-4666-b461-323639303561
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250710T100100Z
DTEND:20250710T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 12
END:VEVENT
BEGIN:VEVENT
UID:61303939-3932-4230-a439-396161396233
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250710T122500Z
DTEND:20250710T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 13
END:VEVENT
BEGIN:VEVENT
UID:34393861-3631-4562-a233-303437663837
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250710T160000Z
DTEND:20250710T160000Z
SUMMARY:Tutorial Sheet 10 (QMC 13)
END:VEVENT
BEGIN:VEVENT
UID:33633666-3835-4161-b034-336630643766
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250717T100100Z
DTEND:20250717T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 13
END:VEVENT
BEGIN:VEVENT
UID:61656635-3933-4061-b739-666566336563
DTSTAMP:20260415T013015Z
DESCRIPTION:
DTSTART:20250717T122500Z
DTEND:20250717T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC Wrapup
END:VEVENT
END:VCALENDAR