BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:37633766-6462-4230-b931-326362333766
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:32656530-3662-4338-b661-653364343730
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250410T100100Z
DTEND:20250410T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc:  QMC 0+1
END:VEVENT
BEGIN:VEVENT
UID:65656465-3634-4263-b266-366530623865
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250410T122900Z
DTEND:20250410T140000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc:  QMC 2
END:VEVENT
BEGIN:VEVENT
UID:33363961-3738-4332-a665-633936646530
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250410T160100Z
DTEND:20250410T160100Z
SUMMARY:Qmc: Tutorial Sheet 1 (QMC 1+2)
END:VEVENT
BEGIN:VEVENT
UID:35343364-6634-4761-b039-333633326263
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250417T100100Z
DTEND:20250417T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 1+2
END:VEVENT
BEGIN:VEVENT
UID:32376439-3539-4434-a565-636434633638
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250417T122500Z
DTEND:20250417T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 3
END:VEVENT
BEGIN:VEVENT
UID:34356461-3462-4361-b733-386162303733
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250417T160100Z
DTEND:20250417T160100Z
SUMMARY:Qmc: Theory Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:37623032-6162-4130-a338-616632303837
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250424T100100Z
DTEND:20250424T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 4
END:VEVENT
BEGIN:VEVENT
UID:39306638-6561-4361-b362-646364623733
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250424T122500Z
DTEND:20250424T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 5
END:VEVENT
BEGIN:VEVENT
UID:37353532-3865-4038-a430-323861343964
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250424T160000Z
DTEND:20250424T160000Z
SUMMARY:Qmc: Tutorial Sheet 2 (QMC 3+4+5)
END:VEVENT
BEGIN:VEVENT
UID:64626238-6562-4363-b430-663931353437
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250424T160100Z
DTEND:20250424T160100Z
SUMMARY:Qmc: Theory Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:34646130-6438-4263-b566-373535323233
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250429T120000Z
DTEND:20250429T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Qmc: Office Hour 1
END:VEVENT
BEGIN:VEVENT
UID:34613137-3935-4364-b265-353931323166
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250502T120000Z
DTEND:20250502T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Qmc: Office Hour 2
END:VEVENT
BEGIN:VEVENT
UID:37386337-6365-4261-a164-336661633036
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250508T095900Z
DTEND:20250508T095900Z
SUMMARY:Qmc: Deadline Theory Assignment 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:64376431-3138-4233-b463-646130636662
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250508T100100Z
DTEND:20250508T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 3+4+5
END:VEVENT
BEGIN:VEVENT
UID:31643037-3961-4765-b533-383561623035
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250508T122500Z
DTEND:20250508T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 6
END:VEVENT
BEGIN:VEVENT
UID:36666162-3232-4763-a233-353636636331
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250508T160000Z
DTEND:20250508T160000Z
SUMMARY:Qmc: Tutorial Sheet 3 (QMC 6)
END:VEVENT
BEGIN:VEVENT
UID:35643134-3266-4661-b366-623261373862
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250508T160100Z
DTEND:20250508T160100Z
SUMMARY:Qmc: Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:66613337-3633-4637-a238-396161333838
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250515T100100Z
DTEND:20250515T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 6
END:VEVENT
BEGIN:VEVENT
UID:36363566-6131-4536-b333-636561353535
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250515T122500Z
DTEND:20250515T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 7
END:VEVENT
BEGIN:VEVENT
UID:37376232-3239-4631-b562-333961313835
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250515T160000Z
DTEND:20250515T160000Z
SUMMARY:Qmc: Tutorial Sheet 4 (QMC 7)
END:VEVENT
BEGIN:VEVENT
UID:61633439-3039-4739-a138-353331386339
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250515T160100Z
DTEND:20250515T160100Z
SUMMARY:Qmc: Theory Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:63323737-6332-4434-b663-346630313332
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250522T095900Z
DTEND:20250522T095900Z
SUMMARY:Qmc: Deadline Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:32303430-3538-4833-b734-363230303263
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250522T100100Z
DTEND:20250522T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 7
END:VEVENT
BEGIN:VEVENT
UID:65616239-3034-4566-a666-656238613538
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250522T122500Z
DTEND:20250522T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 8
END:VEVENT
BEGIN:VEVENT
UID:62393231-3965-4033-b436-376233363635
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250522T160000Z
DTEND:20250522T160000Z
SUMMARY:Qmc: Tutorial Sheet 5 (QMC 8)
END:VEVENT
BEGIN:VEVENT
UID:65333764-3932-4238-a463-663665616232
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250522T160100Z
DTEND:20250522T160100Z
SUMMARY:Qmc:  Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:62346366-6163-4165-b364-393536333366
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250526T120000Z
DTEND:20250526T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Qmc: Office Hour 3
END:VEVENT
BEGIN:VEVENT
UID:61383537-3534-4331-a466-666435323632
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250528T120000Z
DTEND:20250528T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Qmc: Office Hour 4
END:VEVENT
BEGIN:VEVENT
UID:31323261-6331-4134-b265-326466313363
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250605T095900Z
DTEND:20250605T095900Z
SUMMARY:Qmc: Deadline Theory Assignment 3 + Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:32373639-3961-4261-b636-386234393637
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250605T100100Z
DTEND:20250605T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc:  Tutorial QMC 8
END:VEVENT
BEGIN:VEVENT
UID:37306232-6661-4266-a164-376234376566
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250605T122500Z
DTEND:20250605T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc:  QMC 9
END:VEVENT
BEGIN:VEVENT
UID:32346433-3530-4334-a632-623930336266
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250605T160000Z
DTEND:20250605T160000Z
SUMMARY:Qmc: Tutorial Sheet 6 (QMC 9)
END:VEVENT
BEGIN:VEVENT
UID:63663738-3463-4439-b030-313462656366
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250605T160100Z
DTEND:20250605T160100Z
SUMMARY:Qmc:  Theory Assignment 4
END:VEVENT
BEGIN:VEVENT
UID:37653335-3731-4130-a630-393462363332
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250612T100100Z
DTEND:20250612T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 9
END:VEVENT
BEGIN:VEVENT
UID:64313036-3734-4938-b034-373732643836
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250612T122500Z
DTEND:20250612T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 10
END:VEVENT
BEGIN:VEVENT
UID:35636238-3361-4161-b537-376231396562
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250612T160000Z
DTEND:20250612T160000Z
SUMMARY:Qmc: Tutorial Sheet 7 (QMC 10)
END:VEVENT
BEGIN:VEVENT
UID:64353766-3534-4630-b761-383835643463
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250612T160100Z
DTEND:20250612T160100Z
SUMMARY:Qmc: Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:64383938-3231-4134-b539-323737303765
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250616T080000Z
DTEND:20250616T100000Z
LOCATION:Room 533 of E1 3
SUMMARY:Qmc: Office Hour 5
END:VEVENT
BEGIN:VEVENT
UID:36646333-3535-4539-b565-356661333339
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250618T080000Z
DTEND:20250618T100000Z
LOCATION:Room 533 of E1 3
SUMMARY:Qmc: Office Hour 6
END:VEVENT
BEGIN:VEVENT
UID:38373563-3237-4635-b037-323531313361
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250626T095900Z
DTEND:20250626T095900Z
SUMMARY:Qmc: Deadline Theory Assignment 4 + Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:36653834-6564-4465-a265-313234313962
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250626T100100Z
DTEND:20250626T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 11
END:VEVENT
BEGIN:VEVENT
UID:64633832-3439-4737-b337-613432353832
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250626T122500Z
DTEND:20250626T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 10
END:VEVENT
BEGIN:VEVENT
UID:61313431-6164-4233-b466-653635643763
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250626T200000Z
DTEND:20250626T200000Z
SUMMARY:Qmc: Tutorial Sheet 8 (QMC 11)
END:VEVENT
BEGIN:VEVENT
UID:64383335-3435-4263-b438-373638306536
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250626T200100Z
DTEND:20250626T200100Z
SUMMARY:Qmc: Theory Assignment 5
END:VEVENT
BEGIN:VEVENT
UID:39656164-6430-4231-b333-363361333566
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250703T100100Z
DTEND:20250703T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 11
END:VEVENT
BEGIN:VEVENT
UID:66393336-3062-4961-a566-393235333134
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250703T122500Z
DTEND:20250703T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 12
END:VEVENT
BEGIN:VEVENT
UID:66366135-3465-4665-a332-343465393132
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250703T160000Z
DTEND:20250703T160000Z
SUMMARY:Qmc: Tutorial Sheet 9 (QMC 12)
END:VEVENT
BEGIN:VEVENT
UID:35393634-6630-4930-b131-636365623434
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250710T095900Z
DTEND:20250710T095900Z
SUMMARY:Qmc: Deadline Theory Assignment 5
END:VEVENT
BEGIN:VEVENT
UID:37643638-3438-4232-a461-343637316665
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250710T100100Z
DTEND:20250710T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 12
END:VEVENT
BEGIN:VEVENT
UID:64373339-3031-4530-b439-316637616139
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250710T122500Z
DTEND:20250710T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 13
END:VEVENT
BEGIN:VEVENT
UID:63666333-3937-4738-a263-323932386261
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250710T160000Z
DTEND:20250710T160000Z
SUMMARY:Qmc: Tutorial Sheet 10 (QMC 13)
END:VEVENT
BEGIN:VEVENT
UID:62623136-6662-4263-a663-323134653738
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250717T100100Z
DTEND:20250717T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 13
END:VEVENT
BEGIN:VEVENT
UID:39306239-6139-4534-b839-343638656135
DTSTAMP:20260617T140622Z
DESCRIPTION:
DTSTART:20250717T122500Z
DTEND:20250717T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC Wrapup
END:VEVENT
END:VCALENDAR