BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:31333465-3162-4431-b337-663335383139
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:66353466-6162-4534-a365-633337643366
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250410T100100Z
DTEND:20250410T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 0+1
END:VEVENT
BEGIN:VEVENT
UID:31396163-3030-4637-b261-366339383831
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250410T122900Z
DTEND:20250410T140000Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 2
END:VEVENT
BEGIN:VEVENT
UID:31343033-3761-4331-a664-313233386133
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250410T160100Z
DTEND:20250410T160100Z
SUMMARY:Tutorial Sheet 1 (QMC 1+2)
END:VEVENT
BEGIN:VEVENT
UID:30343861-3232-4134-b739-626235336362
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250417T100100Z
DTEND:20250417T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 1+2
END:VEVENT
BEGIN:VEVENT
UID:37646430-3065-4137-a131-643439313339
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250417T122500Z
DTEND:20250417T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 3
END:VEVENT
BEGIN:VEVENT
UID:66616335-3434-4439-a435-653038353034
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250417T160100Z
DTEND:20250417T160100Z
SUMMARY:Theory Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:62346562-3761-4536-a438-663030383064
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250424T100100Z
DTEND:20250424T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 4
END:VEVENT
BEGIN:VEVENT
UID:32663232-3831-4663-a166-376262373133
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250424T122500Z
DTEND:20250424T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 5
END:VEVENT
BEGIN:VEVENT
UID:30333135-6532-4539-b231-633933363265
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250424T160000Z
DTEND:20250424T160000Z
SUMMARY:Tutorial Sheet 2 (QMC 3+4+5)
END:VEVENT
BEGIN:VEVENT
UID:37336536-6463-4638-a163-346438623230
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250424T160100Z
DTEND:20250424T160100Z
SUMMARY:Theory Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:30653336-6631-4436-b039-346233343663
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250429T120000Z
DTEND:20250429T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 1
END:VEVENT
BEGIN:VEVENT
UID:61313662-3163-4364-b633-326637353934
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250502T120000Z
DTEND:20250502T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 2
END:VEVENT
BEGIN:VEVENT
UID:39353839-3035-4230-b035-306665643662
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250508T095900Z
DTEND:20250508T095900Z
SUMMARY:Deadline Theory Assignment 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:37326235-6430-4462-b562-356237363231
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250508T100100Z
DTEND:20250508T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 3+4+5
END:VEVENT
BEGIN:VEVENT
UID:62643434-3665-4139-b466-653239383039
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250508T122500Z
DTEND:20250508T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 6
END:VEVENT
BEGIN:VEVENT
UID:32663962-3839-4164-b230-376530323833
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250508T160000Z
DTEND:20250508T160000Z
SUMMARY:Tutorial Sheet 3 (QMC 6)
END:VEVENT
BEGIN:VEVENT
UID:33363136-3231-4633-a563-656430646133
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250508T160100Z
DTEND:20250508T160100Z
SUMMARY:Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:33343837-3830-4561-b563-346439626239
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250515T100100Z
DTEND:20250515T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 6
END:VEVENT
BEGIN:VEVENT
UID:61313936-6563-4437-b935-303763326666
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250515T122500Z
DTEND:20250515T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 7
END:VEVENT
BEGIN:VEVENT
UID:38373833-3736-4333-b135-313465613037
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250515T160000Z
DTEND:20250515T160000Z
SUMMARY:Tutorial Sheet 4 (QMC 7)
END:VEVENT
BEGIN:VEVENT
UID:32616137-6537-4265-a432-643462633061
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250515T160100Z
DTEND:20250515T160100Z
SUMMARY:Theory Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:36306664-3063-4038-b733-323162313337
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250522T095900Z
DTEND:20250522T095900Z
SUMMARY:Deadline Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:66653562-3434-4763-a234-346565373338
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250522T100100Z
DTEND:20250522T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 7
END:VEVENT
BEGIN:VEVENT
UID:36643831-3839-4265-b735-663562653564
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250522T122500Z
DTEND:20250522T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 8
END:VEVENT
BEGIN:VEVENT
UID:34316363-6434-4538-b862-623732386562
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250522T160000Z
DTEND:20250522T160000Z
SUMMARY:Tutorial Sheet 5 (QMC 8)
END:VEVENT
BEGIN:VEVENT
UID:31363939-3665-4231-b239-636266356533
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250522T160100Z
DTEND:20250522T160100Z
SUMMARY:Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:30353738-3238-4931-b664-613032316163
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250526T120000Z
DTEND:20250526T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 3
END:VEVENT
BEGIN:VEVENT
UID:34393063-6239-4233-a537-613536333965
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250528T120000Z
DTEND:20250528T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 4
END:VEVENT
BEGIN:VEVENT
UID:66396431-3161-4539-a665-396138316438
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250605T095900Z
DTEND:20250605T095900Z
SUMMARY:Deadline Theory Assignment 3 + Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:36366136-6661-4334-a238-376362616638
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250605T100100Z
DTEND:20250605T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 8
END:VEVENT
BEGIN:VEVENT
UID:30633133-6236-4461-a635-353433366133
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250605T122500Z
DTEND:20250605T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 9
END:VEVENT
BEGIN:VEVENT
UID:62363663-3732-4234-b333-373234623233
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250605T160000Z
DTEND:20250605T160000Z
SUMMARY:Tutorial Sheet 6 (QMC 9)
END:VEVENT
BEGIN:VEVENT
UID:62626335-6136-4566-b037-613736316364
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250605T160100Z
DTEND:20250605T160100Z
SUMMARY:Theory Assignment 4
END:VEVENT
BEGIN:VEVENT
UID:33306531-6466-4063-b263-346238366139
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250612T100100Z
DTEND:20250612T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 9
END:VEVENT
BEGIN:VEVENT
UID:62613530-3566-4034-b135-613836383532
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250612T122500Z
DTEND:20250612T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 10
END:VEVENT
BEGIN:VEVENT
UID:32393038-3538-4432-b934-303430393963
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250612T160000Z
DTEND:20250612T160000Z
SUMMARY:Tutorial Sheet 7 (QMC 10)
END:VEVENT
BEGIN:VEVENT
UID:32363064-3239-4764-a537-386261383363
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250612T160100Z
DTEND:20250612T160100Z
SUMMARY:Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:61636662-3264-4162-b134-306662366635
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250616T080000Z
DTEND:20250616T100000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 5
END:VEVENT
BEGIN:VEVENT
UID:39316230-6633-4838-b636-323561656163
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250618T080000Z
DTEND:20250618T100000Z
LOCATION:Room 533 of E1 3
SUMMARY:Office Hour 6
END:VEVENT
BEGIN:VEVENT
UID:31366330-6537-4661-a130-353438616232
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250626T095900Z
DTEND:20250626T095900Z
SUMMARY:Deadline Theory Assignment 4 + Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:64306138-3237-4765-b130-316165313061
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250626T100100Z
DTEND:20250626T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 11
END:VEVENT
BEGIN:VEVENT
UID:36353562-3430-4639-b530-386433343263
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250626T122500Z
DTEND:20250626T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 10
END:VEVENT
BEGIN:VEVENT
UID:33386636-3863-4466-b631-663164393266
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250626T200000Z
DTEND:20250626T200000Z
SUMMARY:Tutorial Sheet 8 (QMC 11)
END:VEVENT
BEGIN:VEVENT
UID:38373435-6433-4534-b433-643130333631
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250626T200100Z
DTEND:20250626T200100Z
SUMMARY:Theory Assignment 5
END:VEVENT
BEGIN:VEVENT
UID:31636132-3831-4435-b162-333131373163
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250703T100100Z
DTEND:20250703T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 11
END:VEVENT
BEGIN:VEVENT
UID:32623932-3966-4935-b063-633261313963
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250703T122500Z
DTEND:20250703T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 12
END:VEVENT
BEGIN:VEVENT
UID:32613035-3733-4231-a639-333764376662
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250703T160000Z
DTEND:20250703T160000Z
SUMMARY:Tutorial Sheet 9 (QMC 12)
END:VEVENT
BEGIN:VEVENT
UID:30666639-3835-4333-b233-383261663861
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250710T095900Z
DTEND:20250710T095900Z
SUMMARY:Deadline Theory Assignment 5
END:VEVENT
BEGIN:VEVENT
UID:30336238-6164-4639-b135-323662383336
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250710T100100Z
DTEND:20250710T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 12
END:VEVENT
BEGIN:VEVENT
UID:30313639-3231-4733-b832-353132343766
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250710T122500Z
DTEND:20250710T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC 13
END:VEVENT
BEGIN:VEVENT
UID:31633437-3334-4431-b136-653031633732
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250710T160000Z
DTEND:20250710T160000Z
SUMMARY:Tutorial Sheet 10 (QMC 13)
END:VEVENT
BEGIN:VEVENT
UID:35313766-3235-4636-b434-656666333666
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250717T100100Z
DTEND:20250717T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 13
END:VEVENT
BEGIN:VEVENT
UID:64666236-6162-4530-a661-316234373336
DTSTAMP:20260817T054816Z
DESCRIPTION:
DTSTART:20250717T122500Z
DTEND:20250717T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:QMC Wrapup
END:VEVENT
END:VCALENDAR