BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:30313236-6530-4965-a137-376437666230
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:63303461-3730-4765-b135-626539656339
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250410T100100Z
DTEND:20250410T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 0+1
END:VEVENT
BEGIN:VEVENT
UID:35663439-6438-4265-b436-336362333937
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250410T122900Z
DTEND:20250410T140000Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 2
END:VEVENT
BEGIN:VEVENT
UID:30666664-3436-4463-b662-393164376161
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250410T160100Z
DTEND:20250410T160100Z
SUMMARY:Tutorial Sheet 1 (QMC 1+2)
END:VEVENT
BEGIN:VEVENT
UID:31353331-3232-4534-b063-353639353365
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250417T100100Z
DTEND:20250417T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 1+2
END:VEVENT
BEGIN:VEVENT
UID:65366330-6633-4231-a630-646133646632
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250417T122500Z
DTEND:20250417T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 3
END:VEVENT
BEGIN:VEVENT
UID:65396262-3361-4165-b833-363763656432
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250417T160100Z
DTEND:20250417T160100Z
SUMMARY:Theory Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:35356566-6436-4330-a631-613339363365
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250424T100100Z
DTEND:20250424T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 4
END:VEVENT
BEGIN:VEVENT
UID:66346466-6662-4332-b261-313663363037
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250424T122500Z
DTEND:20250424T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 5
END:VEVENT
BEGIN:VEVENT
UID:32366137-3034-4238-a261-633537393238
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250424T160000Z
DTEND:20250424T160000Z
SUMMARY:Tutorial Sheet 2 (QMC 3+4+5)
END:VEVENT
BEGIN:VEVENT
UID:30366231-3234-4365-a162-343537376665
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250424T160100Z
DTEND:20250424T160100Z
SUMMARY:Theory Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:35343164-3964-4163-a335-633934343364
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250429T120000Z
DTEND:20250429T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 1
END:VEVENT
BEGIN:VEVENT
UID:36386335-3064-4235-b438-373765383530
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250502T120000Z
DTEND:20250502T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 2
END:VEVENT
BEGIN:VEVENT
UID:36383865-6334-4431-a162-306438656535
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250508T095900Z
DTEND:20250508T095900Z
SUMMARY:Deadline Theory Assignment 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:65643135-3761-4563-b836-373836613261
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250508T100100Z
DTEND:20250508T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 3+4+5
END:VEVENT
BEGIN:VEVENT
UID:64393638-3430-4639-b236-373363363439
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250508T122500Z
DTEND:20250508T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 6
END:VEVENT
BEGIN:VEVENT
UID:34643365-3731-4062-b137-333538303364
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250508T160000Z
DTEND:20250508T160000Z
SUMMARY:Tutorial Sheet 3 (QMC 6)
END:VEVENT
BEGIN:VEVENT
UID:62353737-3464-4463-b730-333039623066
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250508T160100Z
DTEND:20250508T160100Z
SUMMARY:Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:34333633-3661-4161-b839-393032316630
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250515T100100Z
DTEND:20250515T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 6
END:VEVENT
BEGIN:VEVENT
UID:61326437-6538-4864-b332-326161666566
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250515T122500Z
DTEND:20250515T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 7
END:VEVENT
BEGIN:VEVENT
UID:65626663-3135-4133-a438-636133623838
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250515T160000Z
DTEND:20250515T160000Z
SUMMARY:Tutorial Sheet 4 (QMC 7)
END:VEVENT
BEGIN:VEVENT
UID:64396661-3964-4234-a663-363930643037
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250515T160100Z
DTEND:20250515T160100Z
SUMMARY:Theory Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:61356436-6632-4434-b035-316362643765
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250522T095900Z
DTEND:20250522T095900Z
SUMMARY:Deadline Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:31333131-3035-4235-b839-633735613737
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250522T100100Z
DTEND:20250522T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 7
END:VEVENT
BEGIN:VEVENT
UID:36383532-3464-4336-a230-633464303331
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250522T122500Z
DTEND:20250522T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 8
END:VEVENT
BEGIN:VEVENT
UID:39343934-6432-4337-a431-626366666631
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250522T160000Z
DTEND:20250522T160000Z
SUMMARY:Tutorial Sheet 5 (QMC 8)
END:VEVENT
BEGIN:VEVENT
UID:63303966-6539-4331-a434-633733356461
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250522T160100Z
DTEND:20250522T160100Z
SUMMARY:Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:31303236-3565-4564-b132-316162626632
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250526T120000Z
DTEND:20250526T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 3
END:VEVENT
BEGIN:VEVENT
UID:66613862-6562-4437-a639-653765623336
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250528T120000Z
DTEND:20250528T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 4
END:VEVENT
BEGIN:VEVENT
UID:65323138-3036-4537-a234-373434353837
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250605T095900Z
DTEND:20250605T095900Z
SUMMARY:Deadline Theory Assignment 3 + Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:38356638-3463-4338-b365-336337643031
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250605T100100Z
DTEND:20250605T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 8
END:VEVENT
BEGIN:VEVENT
UID:33343531-3739-4636-b862-373837663163
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250605T122500Z
DTEND:20250605T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 9
END:VEVENT
BEGIN:VEVENT
UID:61623538-3339-4336-b766-303264356466
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250605T160000Z
DTEND:20250605T160000Z
SUMMARY:Tutorial Sheet 6 (QMC 9)
END:VEVENT
BEGIN:VEVENT
UID:39636434-6466-4931-b731-333539353266
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250605T160100Z
DTEND:20250605T160100Z
SUMMARY:Theory Assignment 4
END:VEVENT
BEGIN:VEVENT
UID:39366139-3964-4333-b362-323133346166
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250612T100100Z
DTEND:20250612T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 9
END:VEVENT
BEGIN:VEVENT
UID:33353861-6532-4862-b139-386162613666
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250612T122500Z
DTEND:20250612T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 10
END:VEVENT
BEGIN:VEVENT
UID:61386537-3530-4638-b161-353662613738
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250612T160000Z
DTEND:20250612T160000Z
SUMMARY:Tutorial Sheet 7 (QMC 10)
END:VEVENT
BEGIN:VEVENT
UID:34623131-3433-4631-b434-303563636530
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250612T160100Z
DTEND:20250612T160100Z
SUMMARY:Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:66666339-3162-4536-b331-623130363666
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250616T080000Z
DTEND:20250616T100000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 5
END:VEVENT
BEGIN:VEVENT
UID:36393631-6466-4633-b233-323463633131
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250618T080000Z
DTEND:20250618T100000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 6
END:VEVENT
BEGIN:VEVENT
UID:32323366-3334-4363-a662-633138356438
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250626T095900Z
DTEND:20250626T095900Z
SUMMARY:Deadline Theory Assignment 4 + Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:32326162-6635-4338-b234-616234623236
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250626T100100Z
DTEND:20250626T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 11
END:VEVENT
BEGIN:VEVENT
UID:38333033-6434-4661-a637-386133303932
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250626T122500Z
DTEND:20250626T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 10
END:VEVENT
BEGIN:VEVENT
UID:32643839-3536-4566-b034-323866613239
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250626T200000Z
DTEND:20250626T200000Z
SUMMARY:Tutorial Sheet 8 (QMC 11)
END:VEVENT
BEGIN:VEVENT
UID:35316366-6365-4963-a463-356664343161
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250626T200100Z
DTEND:20250626T200100Z
SUMMARY:Theory Assignment 5
END:VEVENT
BEGIN:VEVENT
UID:63373536-3263-4234-b233-346239353237
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250703T100100Z
DTEND:20250703T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 11
END:VEVENT
BEGIN:VEVENT
UID:35336633-3163-4937-b235-663839326635
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250703T122500Z
DTEND:20250703T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 12
END:VEVENT
BEGIN:VEVENT
UID:39353665-6435-4063-b434-353063386533
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250703T160000Z
DTEND:20250703T160000Z
SUMMARY:Tutorial Sheet 9 (QMC 12)
END:VEVENT
BEGIN:VEVENT
UID:65636234-3164-4230-a237-653939323230
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250710T095900Z
DTEND:20250710T095900Z
SUMMARY:Deadline Theory Assignment 5
END:VEVENT
BEGIN:VEVENT
UID:35376132-6362-4465-a461-313336643530
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250710T100100Z
DTEND:20250710T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 12
END:VEVENT
BEGIN:VEVENT
UID:64316462-3632-4836-b932-616432623731
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250710T122500Z
DTEND:20250710T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 13
END:VEVENT
BEGIN:VEVENT
UID:30373236-3561-4466-a164-316563326233
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250710T160000Z
DTEND:20250710T160000Z
SUMMARY:Tutorial Sheet 10 (QMC 13)
END:VEVENT
BEGIN:VEVENT
UID:36386465-3633-4533-b038-626166343361
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250717T100100Z
DTEND:20250717T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 13
END:VEVENT
BEGIN:VEVENT
UID:33323836-3732-4462-b165-336565353132
DTSTAMP:20260707T222221Z
DESCRIPTION:
DTSTART:20250717T122500Z
DTEND:20250717T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC Wrapup
END:VEVENT
END:VCALENDAR