BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:33363337-3730-4761-a437-303338333363
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:34623366-3433-4131-b130-363038313634
DTSTAMP:20260508T062929Z
DESCRIPTION:
DTSTART:20250410T160100Z
DTEND:20250410T160100Z
SUMMARY:Qmc: Tutorial Sheet 1 (QMC 1+2)
END:VEVENT
BEGIN:VEVENT
UID:32363039-3063-4432-b332-393864383964
DTSTAMP:20260508T062929Z
DESCRIPTION:
DTSTART:20250417T160100Z
DTEND:20250417T160100Z
SUMMARY:Qmc: Theory Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:30613266-6132-4162-a132-336136643135
DTSTAMP:20260508T062929Z
DESCRIPTION:
DTSTART:20250424T160000Z
DTEND:20250424T160000Z
SUMMARY:Qmc: Tutorial Sheet 2 (QMC 3+4+5)
END:VEVENT
BEGIN:VEVENT
UID:34343637-6338-4333-b136-363363353163
DTSTAMP:20260508T062929Z
DESCRIPTION:
DTSTART:20250424T160100Z
DTEND:20250424T160100Z
SUMMARY:Qmc: Theory Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:66356138-3632-4732-b935-376536353634
DTSTAMP:20260508T062929Z
DESCRIPTION:
DTSTART:20250508T160000Z
DTEND:20250508T160000Z
SUMMARY:Qmc: Tutorial Sheet 3 (QMC 6)
END:VEVENT
BEGIN:VEVENT
UID:62393666-3831-4966-a539-613061653931
DTSTAMP:20260508T062929Z
DESCRIPTION:
DTSTART:20250508T160100Z
DTEND:20250508T160100Z
SUMMARY:Qmc: Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:31366330-6261-4566-a265-326439323764
DTSTAMP:20260508T062929Z
DESCRIPTION:
DTSTART:20250515T160000Z
DTEND:20250515T160000Z
SUMMARY:Qmc: Tutorial Sheet 4 (QMC 7)
END:VEVENT
BEGIN:VEVENT
UID:37326632-6433-4635-b466-613532316231
DTSTAMP:20260508T062929Z
DESCRIPTION:
DTSTART:20250515T160100Z
DTEND:20250515T160100Z
SUMMARY:Qmc: Theory Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:61646164-3433-4133-b263-383235333039
DTSTAMP:20260508T062929Z
DESCRIPTION:
DTSTART:20250522T160000Z
DTEND:20250522T160000Z
SUMMARY:Qmc: Tutorial Sheet 5 (QMC 8)
END:VEVENT
BEGIN:VEVENT
UID:38656330-3834-4238-b936-393139393434
DTSTAMP:20260508T062929Z
DESCRIPTION:
DTSTART:20250522T160100Z
DTEND:20250522T160100Z
SUMMARY:Qmc:  Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:61626132-3663-4536-b736-643634613461
DTSTAMP:20260508T062929Z
DESCRIPTION:
DTSTART:20250605T160000Z
DTEND:20250605T160000Z
SUMMARY:Qmc: Tutorial Sheet 6 (QMC 9)
END:VEVENT
BEGIN:VEVENT
UID:36383565-3564-4031-b835-396238313138
DTSTAMP:20260508T062929Z
DESCRIPTION:
DTSTART:20250605T160100Z
DTEND:20250605T160100Z
SUMMARY:Qmc:  Theory Assignment 4
END:VEVENT
BEGIN:VEVENT
UID:64653936-3965-4831-b463-623835633664
DTSTAMP:20260508T062929Z
DESCRIPTION:
DTSTART:20250612T160000Z
DTEND:20250612T160000Z
SUMMARY:Qmc: Tutorial Sheet 7 (QMC 10)
END:VEVENT
BEGIN:VEVENT
UID:65633835-3861-4164-a265-323831666237
DTSTAMP:20260508T062929Z
DESCRIPTION:
DTSTART:20250612T160100Z
DTEND:20250612T160100Z
SUMMARY:Qmc: Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:65613637-3237-4365-b537-613639656532
DTSTAMP:20260508T062929Z
DESCRIPTION:
DTSTART:20250626T200000Z
DTEND:20250626T200000Z
SUMMARY:Qmc: Tutorial Sheet 8 (QMC 11)
END:VEVENT
BEGIN:VEVENT
UID:66313963-3265-4434-b764-313863386466
DTSTAMP:20260508T062929Z
DESCRIPTION:
DTSTART:20250626T200100Z
DTEND:20250626T200100Z
SUMMARY:Qmc: Theory Assignment 5
END:VEVENT
BEGIN:VEVENT
UID:33393639-3461-4361-b061-633664366436
DTSTAMP:20260508T062929Z
DESCRIPTION:
DTSTART:20250703T160000Z
DTEND:20250703T160000Z
SUMMARY:Qmc: Tutorial Sheet 9 (QMC 12)
END:VEVENT
BEGIN:VEVENT
UID:62626664-3061-4565-a130-353030623866
DTSTAMP:20260508T062929Z
DESCRIPTION:
DTSTART:20250710T160000Z
DTEND:20250710T160000Z
SUMMARY:Qmc: Tutorial Sheet 10 (QMC 13)
END:VEVENT
END:VCALENDAR