BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:33376535-6133-4236-b465-656632336465
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:33383033-3130-4334-a661-633135366665
DTSTAMP:20260817T054935Z
DESCRIPTION:
DTSTART:20250410T160100Z
DTEND:20250410T160100Z
SUMMARY:Tutorial Sheet 1 (QMC 1+2)
END:VEVENT
BEGIN:VEVENT
UID:30353164-3031-4565-a233-303761363039
DTSTAMP:20260817T054935Z
DESCRIPTION:
DTSTART:20250417T160100Z
DTEND:20250417T160100Z
SUMMARY:Theory Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:32613666-3236-4262-b764-636139353066
DTSTAMP:20260817T054935Z
DESCRIPTION:
DTSTART:20250424T160000Z
DTEND:20250424T160000Z
SUMMARY:Tutorial Sheet 2 (QMC 3+4+5)
END:VEVENT
BEGIN:VEVENT
UID:31323165-6535-4236-b633-613533656436
DTSTAMP:20260817T054935Z
DESCRIPTION:
DTSTART:20250424T160100Z
DTEND:20250424T160100Z
SUMMARY:Theory Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:32323039-3634-4431-b339-353362366131
DTSTAMP:20260817T054935Z
DESCRIPTION:
DTSTART:20250508T160000Z
DTEND:20250508T160000Z
SUMMARY:Tutorial Sheet 3 (QMC 6)
END:VEVENT
BEGIN:VEVENT
UID:65656637-3230-4636-b932-383632643336
DTSTAMP:20260817T054935Z
DESCRIPTION:
DTSTART:20250508T160100Z
DTEND:20250508T160100Z
SUMMARY:Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:31626232-6138-4132-b961-316337326436
DTSTAMP:20260817T054935Z
DESCRIPTION:
DTSTART:20250515T160000Z
DTEND:20250515T160000Z
SUMMARY:Tutorial Sheet 4 (QMC 7)
END:VEVENT
BEGIN:VEVENT
UID:63313062-6564-4361-a439-666166313935
DTSTAMP:20260817T054935Z
DESCRIPTION:
DTSTART:20250515T160100Z
DTEND:20250515T160100Z
SUMMARY:Theory Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:65356532-3535-4065-b030-633435626531
DTSTAMP:20260817T054935Z
DESCRIPTION:
DTSTART:20250522T160000Z
DTEND:20250522T160000Z
SUMMARY:Tutorial Sheet 5 (QMC 8)
END:VEVENT
BEGIN:VEVENT
UID:32376134-6432-4861-b930-373766633966
DTSTAMP:20260817T054935Z
DESCRIPTION:
DTSTART:20250522T160100Z
DTEND:20250522T160100Z
SUMMARY:Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:65353532-3234-4338-b033-646666653663
DTSTAMP:20260817T054935Z
DESCRIPTION:
DTSTART:20250605T160000Z
DTEND:20250605T160000Z
SUMMARY:Tutorial Sheet 6 (QMC 9)
END:VEVENT
BEGIN:VEVENT
UID:38373966-6564-4862-a633-323730616537
DTSTAMP:20260817T054935Z
DESCRIPTION:
DTSTART:20250605T160100Z
DTEND:20250605T160100Z
SUMMARY:Theory Assignment 4
END:VEVENT
BEGIN:VEVENT
UID:64353934-3735-4337-a364-653635376430
DTSTAMP:20260817T054935Z
DESCRIPTION:
DTSTART:20250612T160000Z
DTEND:20250612T160000Z
SUMMARY:Tutorial Sheet 7 (QMC 10)
END:VEVENT
BEGIN:VEVENT
UID:33393463-3434-4461-a665-666361643438
DTSTAMP:20260817T054935Z
DESCRIPTION:
DTSTART:20250612T160100Z
DTEND:20250612T160100Z
SUMMARY:Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:34343362-3562-4333-b239-656234303438
DTSTAMP:20260817T054935Z
DESCRIPTION:
DTSTART:20250626T200000Z
DTEND:20250626T200000Z
SUMMARY:Tutorial Sheet 8 (QMC 11)
END:VEVENT
BEGIN:VEVENT
UID:63666264-6661-4563-b638-366336616462
DTSTAMP:20260817T054935Z
DESCRIPTION:
DTSTART:20250626T200100Z
DTEND:20250626T200100Z
SUMMARY:Theory Assignment 5
END:VEVENT
BEGIN:VEVENT
UID:38356433-6639-4034-b961-646431643863
DTSTAMP:20260817T054935Z
DESCRIPTION:
DTSTART:20250703T160000Z
DTEND:20250703T160000Z
SUMMARY:Tutorial Sheet 9 (QMC 12)
END:VEVENT
BEGIN:VEVENT
UID:64323239-3335-4239-b133-343437656363
DTSTAMP:20260817T054935Z
DESCRIPTION:
DTSTART:20250710T160000Z
DTEND:20250710T160000Z
SUMMARY:Tutorial Sheet 10 (QMC 13)
END:VEVENT
END:VCALENDAR