BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:61363363-6531-4737-a130-646538643363
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:61303131-3536-4433-b866-313763306330
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250410T100100Z
DTEND:20250410T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc:  QMC 0+1
END:VEVENT
BEGIN:VEVENT
UID:66363163-6634-4639-a532-626362303863
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250410T122900Z
DTEND:20250410T140000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc:  QMC 2
END:VEVENT
BEGIN:VEVENT
UID:61313831-3836-4937-a364-643738656365
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250410T160100Z
DTEND:20250410T160100Z
SUMMARY:Qmc: Tutorial Sheet 1 (QMC 1+2)
END:VEVENT
BEGIN:VEVENT
UID:34633236-6136-4636-b432-636231613834
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250417T100100Z
DTEND:20250417T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 1+2
END:VEVENT
BEGIN:VEVENT
UID:64366338-3963-4236-b036-366636326434
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250417T122500Z
DTEND:20250417T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 3
END:VEVENT
BEGIN:VEVENT
UID:61323238-6131-4839-b032-393565323561
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250417T160100Z
DTEND:20250417T160100Z
SUMMARY:Qmc: Theory Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:65643132-6239-4438-b331-663135336239
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250424T100100Z
DTEND:20250424T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 4
END:VEVENT
BEGIN:VEVENT
UID:61323932-3730-4938-b236-353037323638
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250424T122500Z
DTEND:20250424T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 5
END:VEVENT
BEGIN:VEVENT
UID:34666664-3030-4433-a634-393866363964
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250424T160000Z
DTEND:20250424T160000Z
SUMMARY:Qmc: Tutorial Sheet 2 (QMC 3+4+5)
END:VEVENT
BEGIN:VEVENT
UID:63363735-3834-4636-b163-643037346565
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250424T160100Z
DTEND:20250424T160100Z
SUMMARY:Qmc: Theory Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:37303666-6665-4265-b132-623766333161
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250429T120000Z
DTEND:20250429T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Qmc: Office Hour 1
END:VEVENT
BEGIN:VEVENT
UID:32613263-3138-4332-b865-613362396531
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250502T120000Z
DTEND:20250502T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Qmc: Office Hour 2
END:VEVENT
BEGIN:VEVENT
UID:38646636-6331-4432-b534-336165343461
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250508T095900Z
DTEND:20250508T095900Z
SUMMARY:Qmc: Deadline Theory Assignment 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:33386437-3734-4133-a139-326663366163
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250508T100100Z
DTEND:20250508T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 3+4+5
END:VEVENT
BEGIN:VEVENT
UID:62656334-3130-4264-b735-666336353331
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250508T122500Z
DTEND:20250508T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 6
END:VEVENT
BEGIN:VEVENT
UID:64393664-3639-4565-b062-316232393731
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250508T160000Z
DTEND:20250508T160000Z
SUMMARY:Qmc: Tutorial Sheet 3 (QMC 6)
END:VEVENT
BEGIN:VEVENT
UID:39323437-3831-4565-b837-333535353065
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250508T160100Z
DTEND:20250508T160100Z
SUMMARY:Qmc: Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:65303737-6230-4234-a139-656333666432
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250515T100100Z
DTEND:20250515T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 6
END:VEVENT
BEGIN:VEVENT
UID:35353962-3337-4236-a564-303563313535
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250515T122500Z
DTEND:20250515T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 7
END:VEVENT
BEGIN:VEVENT
UID:64653363-6133-4430-b839-353337666163
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250515T160000Z
DTEND:20250515T160000Z
SUMMARY:Qmc: Tutorial Sheet 4 (QMC 7)
END:VEVENT
BEGIN:VEVENT
UID:62303733-6439-4565-a636-383666316436
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250515T160100Z
DTEND:20250515T160100Z
SUMMARY:Qmc: Theory Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:61343965-6631-4962-b865-623662323235
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250522T095900Z
DTEND:20250522T095900Z
SUMMARY:Qmc: Deadline Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:32636264-3766-4565-b139-326336343532
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250522T100100Z
DTEND:20250522T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 7
END:VEVENT
BEGIN:VEVENT
UID:31383761-6261-4135-b263-333430353766
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250522T122500Z
DTEND:20250522T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 8
END:VEVENT
BEGIN:VEVENT
UID:35366464-3337-4061-b261-383864316438
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250522T160000Z
DTEND:20250522T160000Z
SUMMARY:Qmc: Tutorial Sheet 5 (QMC 8)
END:VEVENT
BEGIN:VEVENT
UID:39623963-3239-4536-b033-373832366330
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250522T160100Z
DTEND:20250522T160100Z
SUMMARY:Qmc:  Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:39366134-3263-4664-b262-323134623736
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250526T120000Z
DTEND:20250526T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Qmc: Office Hour 3
END:VEVENT
BEGIN:VEVENT
UID:36643639-3334-4463-b832-333563376465
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250528T120000Z
DTEND:20250528T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Qmc: Office Hour 4
END:VEVENT
BEGIN:VEVENT
UID:32396664-6635-4838-a661-326266313732
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250605T095900Z
DTEND:20250605T095900Z
SUMMARY:Qmc: Deadline Theory Assignment 3 + Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:36333130-3038-4235-b639-646161656665
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250605T100100Z
DTEND:20250605T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc:  Tutorial QMC 8
END:VEVENT
BEGIN:VEVENT
UID:31613630-6338-4661-b831-383132353365
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250605T122500Z
DTEND:20250605T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc:  QMC 9
END:VEVENT
BEGIN:VEVENT
UID:32373038-6530-4437-b336-323139636263
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250605T160000Z
DTEND:20250605T160000Z
SUMMARY:Qmc: Tutorial Sheet 6 (QMC 9)
END:VEVENT
BEGIN:VEVENT
UID:32313439-3830-4462-b962-343065383664
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250605T160100Z
DTEND:20250605T160100Z
SUMMARY:Qmc:  Theory Assignment 4
END:VEVENT
BEGIN:VEVENT
UID:64323664-3435-4164-a661-343539353537
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250612T100100Z
DTEND:20250612T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 9
END:VEVENT
BEGIN:VEVENT
UID:33663766-3162-4132-a635-353732623065
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250612T122500Z
DTEND:20250612T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 10
END:VEVENT
BEGIN:VEVENT
UID:31643964-3435-4439-a361-343532346439
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250612T160000Z
DTEND:20250612T160000Z
SUMMARY:Qmc: Tutorial Sheet 7 (QMC 10)
END:VEVENT
BEGIN:VEVENT
UID:38376133-6638-4866-b830-323962623939
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250612T160100Z
DTEND:20250612T160100Z
SUMMARY:Qmc: Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:34393863-6661-4765-b930-386235663136
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250616T080000Z
DTEND:20250616T100000Z
LOCATION:Room 533 of E1 3
SUMMARY:Qmc: Office Hour 5
END:VEVENT
BEGIN:VEVENT
UID:32626439-6132-4163-b936-613566316534
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250618T080000Z
DTEND:20250618T100000Z
LOCATION:Room 533 of E1 3
SUMMARY:Qmc: Office Hour 6
END:VEVENT
BEGIN:VEVENT
UID:30633939-3566-4330-a431-343065653538
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250626T095900Z
DTEND:20250626T095900Z
SUMMARY:Qmc: Deadline Theory Assignment 4 + Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:64316266-3539-4338-b464-356331633631
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250626T100100Z
DTEND:20250626T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 11
END:VEVENT
BEGIN:VEVENT
UID:32633862-3831-4533-b538-663539333361
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250626T122500Z
DTEND:20250626T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 10
END:VEVENT
BEGIN:VEVENT
UID:35373833-3830-4330-b633-653436643030
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250626T200000Z
DTEND:20250626T200000Z
SUMMARY:Qmc: Tutorial Sheet 8 (QMC 11)
END:VEVENT
BEGIN:VEVENT
UID:38303564-6638-4966-b433-646237663162
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250626T200100Z
DTEND:20250626T200100Z
SUMMARY:Qmc: Theory Assignment 5
END:VEVENT
BEGIN:VEVENT
UID:37653561-6564-4239-b463-636137396366
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250703T100100Z
DTEND:20250703T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 11
END:VEVENT
BEGIN:VEVENT
UID:62663435-3637-4731-b963-313039386362
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250703T122500Z
DTEND:20250703T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 12
END:VEVENT
BEGIN:VEVENT
UID:62323837-6238-4238-a366-633831353161
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250703T160000Z
DTEND:20250703T160000Z
SUMMARY:Qmc: Tutorial Sheet 9 (QMC 12)
END:VEVENT
BEGIN:VEVENT
UID:36656534-6661-4230-b466-393361613265
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250710T095900Z
DTEND:20250710T095900Z
SUMMARY:Qmc: Deadline Theory Assignment 5
END:VEVENT
BEGIN:VEVENT
UID:31613635-6135-4330-b162-613565633664
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250710T100100Z
DTEND:20250710T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 12
END:VEVENT
BEGIN:VEVENT
UID:65616430-3361-4136-b030-353563636534
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250710T122500Z
DTEND:20250710T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 13
END:VEVENT
BEGIN:VEVENT
UID:37633763-6334-4364-b036-656139323630
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250710T160000Z
DTEND:20250710T160000Z
SUMMARY:Qmc: Tutorial Sheet 10 (QMC 13)
END:VEVENT
BEGIN:VEVENT
UID:39643139-3731-4233-b565-653764323635
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250717T100100Z
DTEND:20250717T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 13
END:VEVENT
BEGIN:VEVENT
UID:37663438-3135-4662-b266-623562653934
DTSTAMP:20261031T222753Z
DESCRIPTION:
DTSTART:20250717T122500Z
DTEND:20250717T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC Wrapup
END:VEVENT
END:VCALENDAR