BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:31663730-3961-4136-a566-353030313233
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:66346131-6131-4263-a537-383833616133
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250410T100100Z
DTEND:20250410T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 0+1
END:VEVENT
BEGIN:VEVENT
UID:65613330-3136-4336-a535-643333323535
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250410T122900Z
DTEND:20250410T140000Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 2
END:VEVENT
BEGIN:VEVENT
UID:37663435-3834-4636-a361-333666646262
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250410T160100Z
DTEND:20250410T160100Z
SUMMARY:Tutorial Sheet 1 (QMC 1+2)
END:VEVENT
BEGIN:VEVENT
UID:38306534-3336-4061-b566-333563636432
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250417T100100Z
DTEND:20250417T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 1+2
END:VEVENT
BEGIN:VEVENT
UID:65643130-6437-4364-b936-343031373062
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250417T122500Z
DTEND:20250417T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 3
END:VEVENT
BEGIN:VEVENT
UID:64323962-3532-4163-b837-613632323833
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250417T160100Z
DTEND:20250417T160100Z
SUMMARY:Theory Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:66666661-3137-4766-b662-346438623966
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250424T100100Z
DTEND:20250424T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 4
END:VEVENT
BEGIN:VEVENT
UID:65306436-6530-4535-b737-323063383461
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250424T122500Z
DTEND:20250424T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 5
END:VEVENT
BEGIN:VEVENT
UID:37333862-6530-4535-a634-346261383237
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250424T160000Z
DTEND:20250424T160000Z
SUMMARY:Tutorial Sheet 2 (QMC 3+4+5)
END:VEVENT
BEGIN:VEVENT
UID:34333137-3633-4836-b236-313130626365
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250424T160100Z
DTEND:20250424T160100Z
SUMMARY:Theory Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:37633166-6265-4163-a337-636666323064
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250429T120000Z
DTEND:20250429T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 1
END:VEVENT
BEGIN:VEVENT
UID:36303235-3733-4330-b332-313833323336
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250502T120000Z
DTEND:20250502T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 2
END:VEVENT
BEGIN:VEVENT
UID:64663262-6439-4837-a266-363331383739
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250508T095900Z
DTEND:20250508T095900Z
SUMMARY:Deadline Theory Assignment 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:64366539-6461-4733-a434-366438646532
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250508T100100Z
DTEND:20250508T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 3+4+5
END:VEVENT
BEGIN:VEVENT
UID:32666639-3934-4362-a163-656333323039
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250508T122500Z
DTEND:20250508T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 6
END:VEVENT
BEGIN:VEVENT
UID:66343236-3132-4631-a263-393837356132
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250508T160000Z
DTEND:20250508T160000Z
SUMMARY:Tutorial Sheet 3 (QMC 6)
END:VEVENT
BEGIN:VEVENT
UID:37356535-3838-4263-a565-663839653037
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250508T160100Z
DTEND:20250508T160100Z
SUMMARY:Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:35383738-3163-4130-b939-353539653665
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250515T100100Z
DTEND:20250515T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 6
END:VEVENT
BEGIN:VEVENT
UID:30613432-6436-4038-a663-343034616233
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250515T122500Z
DTEND:20250515T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 7
END:VEVENT
BEGIN:VEVENT
UID:31633562-6164-4533-b235-333665636336
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250515T160000Z
DTEND:20250515T160000Z
SUMMARY:Tutorial Sheet 4 (QMC 7)
END:VEVENT
BEGIN:VEVENT
UID:33376231-6233-4561-b238-383130343166
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250515T160100Z
DTEND:20250515T160100Z
SUMMARY:Theory Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:37336464-3462-4165-b965-643465666337
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250522T095900Z
DTEND:20250522T095900Z
SUMMARY:Deadline Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:65646530-3730-4534-a131-303632623165
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250522T100100Z
DTEND:20250522T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 7
END:VEVENT
BEGIN:VEVENT
UID:39623830-3364-4966-b530-353633343261
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250522T122500Z
DTEND:20250522T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 8
END:VEVENT
BEGIN:VEVENT
UID:39623966-3834-4961-b933-643830373634
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250522T160000Z
DTEND:20250522T160000Z
SUMMARY:Tutorial Sheet 5 (QMC 8)
END:VEVENT
BEGIN:VEVENT
UID:33356461-3630-4966-b962-353963356561
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250522T160100Z
DTEND:20250522T160100Z
SUMMARY:Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:39663065-6561-4464-b130-343166636138
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250526T120000Z
DTEND:20250526T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 3
END:VEVENT
BEGIN:VEVENT
UID:35356463-3065-4137-a635-353334343263
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250528T120000Z
DTEND:20250528T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 4
END:VEVENT
BEGIN:VEVENT
UID:62343639-6336-4332-a130-656335393338
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250605T095900Z
DTEND:20250605T095900Z
SUMMARY:Deadline Theory Assignment 3 + Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:36396532-6162-4463-b936-666138353166
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250605T100100Z
DTEND:20250605T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 8
END:VEVENT
BEGIN:VEVENT
UID:65343932-3232-4536-b239-393662636333
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250605T122500Z
DTEND:20250605T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 9
END:VEVENT
BEGIN:VEVENT
UID:39313134-6664-4362-b638-363263356364
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250605T160000Z
DTEND:20250605T160000Z
SUMMARY:Tutorial Sheet 6 (QMC 9)
END:VEVENT
BEGIN:VEVENT
UID:37613761-3264-4533-a137-376166313366
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250605T160100Z
DTEND:20250605T160100Z
SUMMARY:Theory Assignment 4
END:VEVENT
BEGIN:VEVENT
UID:61323065-6566-4366-b864-313864656436
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250612T100100Z
DTEND:20250612T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 9
END:VEVENT
BEGIN:VEVENT
UID:32636530-6230-4638-b663-316437363138
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250612T122500Z
DTEND:20250612T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 10
END:VEVENT
BEGIN:VEVENT
UID:38613236-6631-4030-a661-663038303431
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250612T160000Z
DTEND:20250612T160000Z
SUMMARY:Tutorial Sheet 7 (QMC 10)
END:VEVENT
BEGIN:VEVENT
UID:38333263-6532-4361-b937-613635663365
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250612T160100Z
DTEND:20250612T160100Z
SUMMARY:Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:63343636-3939-4463-b864-383039333936
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250616T080000Z
DTEND:20250616T100000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 5
END:VEVENT
BEGIN:VEVENT
UID:39343335-3365-4262-b831-633531666533
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250618T080000Z
DTEND:20250618T100000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 6
END:VEVENT
BEGIN:VEVENT
UID:66343866-6164-4338-a338-343263653666
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250626T095900Z
DTEND:20250626T095900Z
SUMMARY:Deadline Theory Assignment 4 + Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:36386633-3830-4838-b933-663466643065
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250626T100100Z
DTEND:20250626T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 11
END:VEVENT
BEGIN:VEVENT
UID:31343630-3634-4736-b861-343064636433
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250626T122500Z
DTEND:20250626T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 10
END:VEVENT
BEGIN:VEVENT
UID:35633163-3639-4731-b337-343336613034
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250626T200000Z
DTEND:20250626T200000Z
SUMMARY:Tutorial Sheet 8 (QMC 11)
END:VEVENT
BEGIN:VEVENT
UID:34333135-3262-4234-a132-336635373162
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250626T200100Z
DTEND:20250626T200100Z
SUMMARY:Theory Assignment 5
END:VEVENT
BEGIN:VEVENT
UID:36333965-3165-4938-b565-636265353163
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250703T100100Z
DTEND:20250703T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 11
END:VEVENT
BEGIN:VEVENT
UID:39613264-3761-4035-b562-373136613530
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250703T122500Z
DTEND:20250703T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 12
END:VEVENT
BEGIN:VEVENT
UID:39373863-6330-4137-b864-313635366335
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250703T160000Z
DTEND:20250703T160000Z
SUMMARY:Tutorial Sheet 9 (QMC 12)
END:VEVENT
BEGIN:VEVENT
UID:39643738-3939-4034-b336-346563306565
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250710T095900Z
DTEND:20250710T095900Z
SUMMARY:Deadline Theory Assignment 5
END:VEVENT
BEGIN:VEVENT
UID:30343238-6337-4664-b332-303134396533
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250710T100100Z
DTEND:20250710T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 12
END:VEVENT
BEGIN:VEVENT
UID:39316464-6537-4933-b330-303336333866
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250710T122500Z
DTEND:20250710T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 13
END:VEVENT
BEGIN:VEVENT
UID:37343131-3335-4166-b037-303965633562
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250710T160000Z
DTEND:20250710T160000Z
SUMMARY:Tutorial Sheet 10 (QMC 13)
END:VEVENT
BEGIN:VEVENT
UID:36646137-3235-4465-b565-356335613461
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250717T100100Z
DTEND:20250717T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 13
END:VEVENT
BEGIN:VEVENT
UID:38613861-6137-4133-b234-636537313939
DTSTAMP:20260528T100202Z
DESCRIPTION:
DTSTART:20250717T122500Z
DTEND:20250717T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC Wrapup
END:VEVENT
END:VCALENDAR