BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:38643232-6564-4565-b833-373164383234
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:36376436-3434-4562-b163-393561643432
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250410T100100Z
DTEND:20250410T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 0+1
END:VEVENT
BEGIN:VEVENT
UID:64343839-3230-4464-b064-623066343564
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250410T122900Z
DTEND:20250410T140000Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 2
END:VEVENT
BEGIN:VEVENT
UID:62336230-3834-4262-b131-336131643061
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250410T160100Z
DTEND:20250410T160100Z
SUMMARY:Tutorial Sheet 1 (QMC 1+2)
END:VEVENT
BEGIN:VEVENT
UID:64363062-3163-4538-b535-373339366439
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250417T100100Z
DTEND:20250417T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 1+2
END:VEVENT
BEGIN:VEVENT
UID:38313538-6135-4831-b962-336164356434
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250417T122500Z
DTEND:20250417T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 3
END:VEVENT
BEGIN:VEVENT
UID:62636535-3766-4466-a362-383130393064
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250417T160100Z
DTEND:20250417T160100Z
SUMMARY:Theory Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:34636338-3366-4864-b362-663131653262
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250424T100100Z
DTEND:20250424T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 4
END:VEVENT
BEGIN:VEVENT
UID:65313932-3662-4263-a536-333737333635
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250424T122500Z
DTEND:20250424T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 5
END:VEVENT
BEGIN:VEVENT
UID:64646661-3161-4961-a537-363265633266
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250424T160000Z
DTEND:20250424T160000Z
SUMMARY:Tutorial Sheet 2 (QMC 3+4+5)
END:VEVENT
BEGIN:VEVENT
UID:33623430-3064-4530-b265-353837643864
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250424T160100Z
DTEND:20250424T160100Z
SUMMARY:Theory Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:37616139-3634-4464-b130-393465366538
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250429T120000Z
DTEND:20250429T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 1
END:VEVENT
BEGIN:VEVENT
UID:65643134-6363-4831-b738-656665333366
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250502T120000Z
DTEND:20250502T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 2
END:VEVENT
BEGIN:VEVENT
UID:30623961-3438-4066-b034-396361303363
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250508T095900Z
DTEND:20250508T095900Z
SUMMARY:Deadline Theory Assignment 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:30343261-6364-4632-b130-636663386435
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250508T100100Z
DTEND:20250508T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 3+4+5
END:VEVENT
BEGIN:VEVENT
UID:62386635-3133-4431-b463-663833386631
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250508T122500Z
DTEND:20250508T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 6
END:VEVENT
BEGIN:VEVENT
UID:37303634-3232-4737-b636-323262323833
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250508T160000Z
DTEND:20250508T160000Z
SUMMARY:Tutorial Sheet 3 (QMC 6)
END:VEVENT
BEGIN:VEVENT
UID:64653766-3531-4663-a364-376334383632
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250508T160100Z
DTEND:20250508T160100Z
SUMMARY:Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:39323963-6434-4635-b137-353132303865
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250515T100100Z
DTEND:20250515T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 6
END:VEVENT
BEGIN:VEVENT
UID:35353263-3534-4334-b034-623263326539
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250515T122500Z
DTEND:20250515T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 7
END:VEVENT
BEGIN:VEVENT
UID:36633263-3237-4636-b834-336639623364
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250515T160000Z
DTEND:20250515T160000Z
SUMMARY:Tutorial Sheet 4 (QMC 7)
END:VEVENT
BEGIN:VEVENT
UID:30363462-3466-4161-b564-393633623266
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250515T160100Z
DTEND:20250515T160100Z
SUMMARY:Theory Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:63373264-6134-4236-a464-363763323463
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250522T095900Z
DTEND:20250522T095900Z
SUMMARY:Deadline Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:35663962-3666-4636-a534-393037373435
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250522T100100Z
DTEND:20250522T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 7
END:VEVENT
BEGIN:VEVENT
UID:61323137-3437-4433-a332-383433363061
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250522T122500Z
DTEND:20250522T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 8
END:VEVENT
BEGIN:VEVENT
UID:30653361-6635-4435-b365-626639643833
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250522T160000Z
DTEND:20250522T160000Z
SUMMARY:Tutorial Sheet 5 (QMC 8)
END:VEVENT
BEGIN:VEVENT
UID:64383838-3934-4135-a330-363164383232
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250522T160100Z
DTEND:20250522T160100Z
SUMMARY:Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:31303134-6632-4132-a265-303538396663
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250526T120000Z
DTEND:20250526T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 3
END:VEVENT
BEGIN:VEVENT
UID:30623737-6334-4364-a564-636663646335
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250528T120000Z
DTEND:20250528T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 4
END:VEVENT
BEGIN:VEVENT
UID:64646433-6134-4634-b635-663864643730
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250605T095900Z
DTEND:20250605T095900Z
SUMMARY:Deadline Theory Assignment 3 + Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:31383230-6362-4934-a130-356363356334
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250605T100100Z
DTEND:20250605T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 8
END:VEVENT
BEGIN:VEVENT
UID:63376463-6238-4130-b435-326365626435
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250605T122500Z
DTEND:20250605T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 9
END:VEVENT
BEGIN:VEVENT
UID:62356266-6135-4232-b232-636536663539
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250605T160000Z
DTEND:20250605T160000Z
SUMMARY:Tutorial Sheet 6 (QMC 9)
END:VEVENT
BEGIN:VEVENT
UID:33373139-3338-4238-b163-663662613737
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250605T160100Z
DTEND:20250605T160100Z
SUMMARY:Theory Assignment 4
END:VEVENT
BEGIN:VEVENT
UID:30383031-3933-4666-b862-636333346136
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250612T100100Z
DTEND:20250612T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 9
END:VEVENT
BEGIN:VEVENT
UID:33653432-3630-4666-b833-333030353631
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250612T122500Z
DTEND:20250612T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 10
END:VEVENT
BEGIN:VEVENT
UID:32613561-6430-4237-a436-343437306263
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250612T160000Z
DTEND:20250612T160000Z
SUMMARY:Tutorial Sheet 7 (QMC 10)
END:VEVENT
BEGIN:VEVENT
UID:61386239-6237-4936-a236-316161353163
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250612T160100Z
DTEND:20250612T160100Z
SUMMARY:Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:66393237-3062-4430-b166-356430346638
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250616T080000Z
DTEND:20250616T100000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 5
END:VEVENT
BEGIN:VEVENT
UID:66313837-3464-4563-b765-333162393839
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250618T080000Z
DTEND:20250618T100000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 6
END:VEVENT
BEGIN:VEVENT
UID:62653730-6463-4665-a263-636530623330
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250626T095900Z
DTEND:20250626T095900Z
SUMMARY:Deadline Theory Assignment 4 + Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:30346330-3032-4533-b736-626631343533
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250626T100100Z
DTEND:20250626T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 11
END:VEVENT
BEGIN:VEVENT
UID:30646437-6263-4664-b266-373162373936
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250626T122500Z
DTEND:20250626T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 10
END:VEVENT
BEGIN:VEVENT
UID:38653831-3262-4336-a365-666638333831
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250626T200000Z
DTEND:20250626T200000Z
SUMMARY:Tutorial Sheet 8 (QMC 11)
END:VEVENT
BEGIN:VEVENT
UID:37346637-3365-4833-b734-303566323466
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250626T200100Z
DTEND:20250626T200100Z
SUMMARY:Theory Assignment 5
END:VEVENT
BEGIN:VEVENT
UID:63633132-6661-4062-b065-343766633731
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250703T100100Z
DTEND:20250703T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 11
END:VEVENT
BEGIN:VEVENT
UID:34316166-6634-4166-a533-623266623765
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250703T122500Z
DTEND:20250703T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 12
END:VEVENT
BEGIN:VEVENT
UID:66306234-3265-4838-b738-613138313539
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250703T160000Z
DTEND:20250703T160000Z
SUMMARY:Tutorial Sheet 9 (QMC 12)
END:VEVENT
BEGIN:VEVENT
UID:61346431-6232-4330-b434-373134346633
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250710T095900Z
DTEND:20250710T095900Z
SUMMARY:Deadline Theory Assignment 5
END:VEVENT
BEGIN:VEVENT
UID:35353565-3336-4033-a531-353665643030
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250710T100100Z
DTEND:20250710T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 12
END:VEVENT
BEGIN:VEVENT
UID:61386432-3935-4461-b563-616636666562
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250710T122500Z
DTEND:20250710T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 13
END:VEVENT
BEGIN:VEVENT
UID:65613937-3832-4663-b435-363732663138
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250710T160000Z
DTEND:20250710T160000Z
SUMMARY:Tutorial Sheet 10 (QMC 13)
END:VEVENT
BEGIN:VEVENT
UID:33383138-6234-4166-a164-386430643536
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250717T100100Z
DTEND:20250717T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 13
END:VEVENT
BEGIN:VEVENT
UID:62333231-3338-4534-b034-343236346564
DTSTAMP:20261031T065547Z
DESCRIPTION:
DTSTART:20250717T122500Z
DTEND:20250717T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC Wrapup
END:VEVENT
END:VCALENDAR