BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:33343765-3231-4839-a338-383331396431
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:39616636-3539-4663-a566-613338313463
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250410T100100Z
DTEND:20250410T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc:  QMC 0+1
END:VEVENT
BEGIN:VEVENT
UID:30326333-3336-4362-b938-326535353837
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250410T122900Z
DTEND:20250410T140000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc:  QMC 2
END:VEVENT
BEGIN:VEVENT
UID:39306333-3064-4161-b865-346338383939
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250410T160100Z
DTEND:20250410T160100Z
SUMMARY:Qmc: Tutorial Sheet 1 (QMC 1+2)
END:VEVENT
BEGIN:VEVENT
UID:66333564-6635-4634-b034-366363333566
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250417T100100Z
DTEND:20250417T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 1+2
END:VEVENT
BEGIN:VEVENT
UID:38376663-3837-4532-b338-616434386430
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250417T122500Z
DTEND:20250417T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 3
END:VEVENT
BEGIN:VEVENT
UID:39646365-3365-4361-b336-326461613032
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250417T160100Z
DTEND:20250417T160100Z
SUMMARY:Qmc: Theory Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:32306364-3732-4438-a132-306437626531
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250424T100100Z
DTEND:20250424T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 4
END:VEVENT
BEGIN:VEVENT
UID:39383464-6436-4664-b966-666134643639
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250424T122500Z
DTEND:20250424T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 5
END:VEVENT
BEGIN:VEVENT
UID:37343363-6463-4537-b839-303731323962
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250424T160000Z
DTEND:20250424T160000Z
SUMMARY:Qmc: Tutorial Sheet 2 (QMC 3+4+5)
END:VEVENT
BEGIN:VEVENT
UID:63373134-3539-4566-b332-656634653534
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250424T160100Z
DTEND:20250424T160100Z
SUMMARY:Qmc: Theory Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:37306264-6366-4539-a363-363133343631
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250429T120000Z
DTEND:20250429T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Qmc: Office Hour 1
END:VEVENT
BEGIN:VEVENT
UID:65313430-6339-4464-b632-316337623632
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250502T120000Z
DTEND:20250502T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Qmc: Office Hour 2
END:VEVENT
BEGIN:VEVENT
UID:39323465-6362-4137-a562-353439396537
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250508T095900Z
DTEND:20250508T095900Z
SUMMARY:Qmc: Deadline Theory Assignment 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:61396435-6361-4365-b532-303936366434
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250508T100100Z
DTEND:20250508T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 3+4+5
END:VEVENT
BEGIN:VEVENT
UID:37653633-6564-4439-b265-383264376564
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250508T122500Z
DTEND:20250508T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 6
END:VEVENT
BEGIN:VEVENT
UID:31636162-6466-4937-b239-323037323063
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250508T160000Z
DTEND:20250508T160000Z
SUMMARY:Qmc: Tutorial Sheet 3 (QMC 6)
END:VEVENT
BEGIN:VEVENT
UID:61646665-6239-4133-b961-386435356461
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250508T160100Z
DTEND:20250508T160100Z
SUMMARY:Qmc: Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:39333533-3330-4464-a561-646461633532
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250515T100100Z
DTEND:20250515T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 6
END:VEVENT
BEGIN:VEVENT
UID:31333735-3664-4538-b961-383938316535
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250515T122500Z
DTEND:20250515T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 7
END:VEVENT
BEGIN:VEVENT
UID:31316262-3131-4562-a163-666333663032
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250515T160000Z
DTEND:20250515T160000Z
SUMMARY:Qmc: Tutorial Sheet 4 (QMC 7)
END:VEVENT
BEGIN:VEVENT
UID:31303463-6639-4437-a364-376336356639
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250515T160100Z
DTEND:20250515T160100Z
SUMMARY:Qmc: Theory Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:64343731-6565-4232-b766-353132353666
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250522T095900Z
DTEND:20250522T095900Z
SUMMARY:Qmc: Deadline Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:37613733-3866-4835-b631-303436393864
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250522T100100Z
DTEND:20250522T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 7
END:VEVENT
BEGIN:VEVENT
UID:66646263-3536-4839-a266-326536613039
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250522T122500Z
DTEND:20250522T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 8
END:VEVENT
BEGIN:VEVENT
UID:65663164-6464-4062-b739-363832643562
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250522T160000Z
DTEND:20250522T160000Z
SUMMARY:Qmc: Tutorial Sheet 5 (QMC 8)
END:VEVENT
BEGIN:VEVENT
UID:66303736-3761-4238-a538-386436373934
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250522T160100Z
DTEND:20250522T160100Z
SUMMARY:Qmc:  Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:30393537-3432-4235-b631-353462646337
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250526T120000Z
DTEND:20250526T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Qmc: Office Hour 3
END:VEVENT
BEGIN:VEVENT
UID:34343936-3530-4238-a535-373162653832
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250528T120000Z
DTEND:20250528T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Qmc: Office Hour 4
END:VEVENT
BEGIN:VEVENT
UID:37323934-6661-4132-b135-633066343665
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250605T095900Z
DTEND:20250605T095900Z
SUMMARY:Qmc: Deadline Theory Assignment 3 + Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:65396166-3963-4138-b031-656433616636
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250605T100100Z
DTEND:20250605T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc:  Tutorial QMC 8
END:VEVENT
BEGIN:VEVENT
UID:31316562-3933-4565-b463-613366663136
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250605T122500Z
DTEND:20250605T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc:  QMC 9
END:VEVENT
BEGIN:VEVENT
UID:62643932-6438-4562-b738-626635613631
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250605T160000Z
DTEND:20250605T160000Z
SUMMARY:Qmc: Tutorial Sheet 6 (QMC 9)
END:VEVENT
BEGIN:VEVENT
UID:34623663-3932-4636-a438-356332663463
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250605T160100Z
DTEND:20250605T160100Z
SUMMARY:Qmc:  Theory Assignment 4
END:VEVENT
BEGIN:VEVENT
UID:38636133-6333-4362-b737-613035386131
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250612T100100Z
DTEND:20250612T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 9
END:VEVENT
BEGIN:VEVENT
UID:63323534-6538-4539-a662-613730316161
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250612T122500Z
DTEND:20250612T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 10
END:VEVENT
BEGIN:VEVENT
UID:62626432-6264-4833-a236-633632623135
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250612T160000Z
DTEND:20250612T160000Z
SUMMARY:Qmc: Tutorial Sheet 7 (QMC 10)
END:VEVENT
BEGIN:VEVENT
UID:31393861-3630-4635-b339-366236343363
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250612T160100Z
DTEND:20250612T160100Z
SUMMARY:Qmc: Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:36633361-3833-4935-b638-636237306633
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250616T080000Z
DTEND:20250616T100000Z
LOCATION:Room 533 of E1 3
SUMMARY:Qmc: Office Hour 5
END:VEVENT
BEGIN:VEVENT
UID:36626561-3137-4365-b639-663539616639
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250618T080000Z
DTEND:20250618T100000Z
LOCATION:Room 533 of E1 3
SUMMARY:Qmc: Office Hour 6
END:VEVENT
BEGIN:VEVENT
UID:65313931-3866-4636-b662-346137383738
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250626T095900Z
DTEND:20250626T095900Z
SUMMARY:Qmc: Deadline Theory Assignment 4 + Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:36613434-6235-4331-a635-383733643136
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250626T100100Z
DTEND:20250626T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 11
END:VEVENT
BEGIN:VEVENT
UID:62303439-3132-4439-b866-343435313138
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250626T122500Z
DTEND:20250626T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 10
END:VEVENT
BEGIN:VEVENT
UID:61373637-3136-4461-b731-623636666531
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250626T200000Z
DTEND:20250626T200000Z
SUMMARY:Qmc: Tutorial Sheet 8 (QMC 11)
END:VEVENT
BEGIN:VEVENT
UID:33356663-3032-4638-b762-663636613835
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250626T200100Z
DTEND:20250626T200100Z
SUMMARY:Qmc: Theory Assignment 5
END:VEVENT
BEGIN:VEVENT
UID:33323963-3963-4361-a665-366435326232
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250703T100100Z
DTEND:20250703T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 11
END:VEVENT
BEGIN:VEVENT
UID:64613234-3762-4535-b362-613733316637
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250703T122500Z
DTEND:20250703T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 12
END:VEVENT
BEGIN:VEVENT
UID:33333632-3562-4138-b961-353363663262
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250703T160000Z
DTEND:20250703T160000Z
SUMMARY:Qmc: Tutorial Sheet 9 (QMC 12)
END:VEVENT
BEGIN:VEVENT
UID:66393332-6337-4839-b835-336433316635
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250710T095900Z
DTEND:20250710T095900Z
SUMMARY:Qmc: Deadline Theory Assignment 5
END:VEVENT
BEGIN:VEVENT
UID:64323135-3963-4566-b139-633832363338
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250710T100100Z
DTEND:20250710T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 12
END:VEVENT
BEGIN:VEVENT
UID:39303561-3931-4333-b836-613735333562
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250710T122500Z
DTEND:20250710T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 13
END:VEVENT
BEGIN:VEVENT
UID:39396435-3533-4339-b735-353037633438
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250710T160000Z
DTEND:20250710T160000Z
SUMMARY:Qmc: Tutorial Sheet 10 (QMC 13)
END:VEVENT
BEGIN:VEVENT
UID:61356239-3761-4730-a635-333862666538
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250717T100100Z
DTEND:20250717T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 13
END:VEVENT
BEGIN:VEVENT
UID:61633630-3438-4463-a534-613962333931
DTSTAMP:20260817T054815Z
DESCRIPTION:
DTSTART:20250717T122500Z
DTEND:20250717T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC Wrapup
END:VEVENT
END:VCALENDAR