BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:61666561-3466-4339-b564-373866303439
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:62343430-3333-4936-b931-383166346432
DTSTAMP:20261009T010259Z
DESCRIPTION:
DTSTART:20250410T160100Z
DTEND:20250410T160100Z
SUMMARY:Qmc: Tutorial Sheet 1 (QMC 1+2)
END:VEVENT
BEGIN:VEVENT
UID:37616266-3065-4163-b665-656237313064
DTSTAMP:20261009T010259Z
DESCRIPTION:
DTSTART:20250417T160100Z
DTEND:20250417T160100Z
SUMMARY:Qmc: Theory Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:30633266-3162-4038-b636-353563663361
DTSTAMP:20261009T010259Z
DESCRIPTION:
DTSTART:20250424T160000Z
DTEND:20250424T160000Z
SUMMARY:Qmc: Tutorial Sheet 2 (QMC 3+4+5)
END:VEVENT
BEGIN:VEVENT
UID:39376263-6434-4430-a162-643934613437
DTSTAMP:20261009T010259Z
DESCRIPTION:
DTSTART:20250424T160100Z
DTEND:20250424T160100Z
SUMMARY:Qmc: Theory Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:38306236-6532-4130-b135-326562386562
DTSTAMP:20261009T010259Z
DESCRIPTION:
DTSTART:20250508T160000Z
DTEND:20250508T160000Z
SUMMARY:Qmc: Tutorial Sheet 3 (QMC 6)
END:VEVENT
BEGIN:VEVENT
UID:35306663-6461-4365-b863-653363356165
DTSTAMP:20261009T010259Z
DESCRIPTION:
DTSTART:20250508T160100Z
DTEND:20250508T160100Z
SUMMARY:Qmc: Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:61383935-3038-4337-b866-393862613566
DTSTAMP:20261009T010259Z
DESCRIPTION:
DTSTART:20250515T160000Z
DTEND:20250515T160000Z
SUMMARY:Qmc: Tutorial Sheet 4 (QMC 7)
END:VEVENT
BEGIN:VEVENT
UID:36383566-3939-4931-b264-393762346533
DTSTAMP:20261009T010259Z
DESCRIPTION:
DTSTART:20250515T160100Z
DTEND:20250515T160100Z
SUMMARY:Qmc: Theory Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:30666335-3730-4263-a532-306264383038
DTSTAMP:20261009T010259Z
DESCRIPTION:
DTSTART:20250522T160000Z
DTEND:20250522T160000Z
SUMMARY:Qmc: Tutorial Sheet 5 (QMC 8)
END:VEVENT
BEGIN:VEVENT
UID:37316439-6130-4064-b638-323561316362
DTSTAMP:20261009T010259Z
DESCRIPTION:
DTSTART:20250522T160100Z
DTEND:20250522T160100Z
SUMMARY:Qmc:  Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:62653963-6130-4132-a132-383730666238
DTSTAMP:20261009T010259Z
DESCRIPTION:
DTSTART:20250605T160000Z
DTEND:20250605T160000Z
SUMMARY:Qmc: Tutorial Sheet 6 (QMC 9)
END:VEVENT
BEGIN:VEVENT
UID:66356264-3438-4062-b133-333032313830
DTSTAMP:20261009T010259Z
DESCRIPTION:
DTSTART:20250605T160100Z
DTEND:20250605T160100Z
SUMMARY:Qmc:  Theory Assignment 4
END:VEVENT
BEGIN:VEVENT
UID:39636435-6331-4264-b764-666366333432
DTSTAMP:20261009T010259Z
DESCRIPTION:
DTSTART:20250612T160000Z
DTEND:20250612T160000Z
SUMMARY:Qmc: Tutorial Sheet 7 (QMC 10)
END:VEVENT
BEGIN:VEVENT
UID:30326437-3437-4663-b336-336333623266
DTSTAMP:20261009T010259Z
DESCRIPTION:
DTSTART:20250612T160100Z
DTEND:20250612T160100Z
SUMMARY:Qmc: Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:30396633-6535-4862-b637-376631383063
DTSTAMP:20261009T010259Z
DESCRIPTION:
DTSTART:20250626T200000Z
DTEND:20250626T200000Z
SUMMARY:Qmc: Tutorial Sheet 8 (QMC 11)
END:VEVENT
BEGIN:VEVENT
UID:36306263-3734-4933-b538-623739656231
DTSTAMP:20261009T010259Z
DESCRIPTION:
DTSTART:20250626T200100Z
DTEND:20250626T200100Z
SUMMARY:Qmc: Theory Assignment 5
END:VEVENT
BEGIN:VEVENT
UID:63643831-3264-4135-b630-346365396264
DTSTAMP:20261009T010259Z
DESCRIPTION:
DTSTART:20250703T160000Z
DTEND:20250703T160000Z
SUMMARY:Qmc: Tutorial Sheet 9 (QMC 12)
END:VEVENT
BEGIN:VEVENT
UID:30373031-3166-4764-b565-343834313839
DTSTAMP:20261009T010259Z
DESCRIPTION:
DTSTART:20250710T160000Z
DTEND:20250710T160000Z
SUMMARY:Qmc: Tutorial Sheet 10 (QMC 13)
END:VEVENT
END:VCALENDAR