BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:63303830-6137-4532-b363-653930623635
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:33356331-6235-4462-b033-343438383963
DTSTAMP:20261031T050520Z
DESCRIPTION:
DTSTART:20250410T160100Z
DTEND:20250410T160100Z
SUMMARY:Tutorial Sheet 1 (QMC 1+2)
END:VEVENT
BEGIN:VEVENT
UID:66346565-3039-4434-a636-303965643131
DTSTAMP:20261031T050520Z
DESCRIPTION:
DTSTART:20250417T160100Z
DTEND:20250417T160100Z
SUMMARY:Theory Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:32366233-6632-4137-b533-356633663338
DTSTAMP:20261031T050520Z
DESCRIPTION:
DTSTART:20250424T160000Z
DTEND:20250424T160000Z
SUMMARY:Tutorial Sheet 2 (QMC 3+4+5)
END:VEVENT
BEGIN:VEVENT
UID:62353031-3834-4636-b562-653430653839
DTSTAMP:20261031T050520Z
DESCRIPTION:
DTSTART:20250424T160100Z
DTEND:20250424T160100Z
SUMMARY:Theory Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:61346631-6466-4061-b031-636465396663
DTSTAMP:20261031T050520Z
DESCRIPTION:
DTSTART:20250508T160000Z
DTEND:20250508T160000Z
SUMMARY:Tutorial Sheet 3 (QMC 6)
END:VEVENT
BEGIN:VEVENT
UID:36643636-3335-4662-b463-623432373138
DTSTAMP:20261031T050520Z
DESCRIPTION:
DTSTART:20250508T160100Z
DTEND:20250508T160100Z
SUMMARY:Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:37643665-3034-4135-b637-666239663231
DTSTAMP:20261031T050520Z
DESCRIPTION:
DTSTART:20250515T160000Z
DTEND:20250515T160000Z
SUMMARY:Tutorial Sheet 4 (QMC 7)
END:VEVENT
BEGIN:VEVENT
UID:66666334-6131-4530-b030-616538623862
DTSTAMP:20261031T050520Z
DESCRIPTION:
DTSTART:20250515T160100Z
DTEND:20250515T160100Z
SUMMARY:Theory Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:64353530-3337-4133-b533-376633616535
DTSTAMP:20261031T050520Z
DESCRIPTION:
DTSTART:20250522T160000Z
DTEND:20250522T160000Z
SUMMARY:Tutorial Sheet 5 (QMC 8)
END:VEVENT
BEGIN:VEVENT
UID:38336537-3939-4735-b366-363932326132
DTSTAMP:20261031T050520Z
DESCRIPTION:
DTSTART:20250522T160100Z
DTEND:20250522T160100Z
SUMMARY:Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:36323632-3336-4531-b566-373530376265
DTSTAMP:20261031T050520Z
DESCRIPTION:
DTSTART:20250605T160000Z
DTEND:20250605T160000Z
SUMMARY:Tutorial Sheet 6 (QMC 9)
END:VEVENT
BEGIN:VEVENT
UID:62363333-3534-4631-a430-633663663035
DTSTAMP:20261031T050520Z
DESCRIPTION:
DTSTART:20250605T160100Z
DTEND:20250605T160100Z
SUMMARY:Theory Assignment 4
END:VEVENT
BEGIN:VEVENT
UID:37373464-3531-4261-b363-353932373538
DTSTAMP:20261031T050520Z
DESCRIPTION:
DTSTART:20250612T160000Z
DTEND:20250612T160000Z
SUMMARY:Tutorial Sheet 7 (QMC 10)
END:VEVENT
BEGIN:VEVENT
UID:38613638-6632-4165-a366-376264633938
DTSTAMP:20261031T050520Z
DESCRIPTION:
DTSTART:20250612T160100Z
DTEND:20250612T160100Z
SUMMARY:Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:34623138-6631-4333-b561-616234653136
DTSTAMP:20261031T050520Z
DESCRIPTION:
DTSTART:20250626T200000Z
DTEND:20250626T200000Z
SUMMARY:Tutorial Sheet 8 (QMC 11)
END:VEVENT
BEGIN:VEVENT
UID:65333530-3732-4832-b861-396632643037
DTSTAMP:20261031T050520Z
DESCRIPTION:
DTSTART:20250626T200100Z
DTEND:20250626T200100Z
SUMMARY:Theory Assignment 5
END:VEVENT
BEGIN:VEVENT
UID:66613366-3335-4066-b165-663435376331
DTSTAMP:20261031T050520Z
DESCRIPTION:
DTSTART:20250703T160000Z
DTEND:20250703T160000Z
SUMMARY:Tutorial Sheet 9 (QMC 12)
END:VEVENT
BEGIN:VEVENT
UID:37366237-3337-4363-b861-343661346464
DTSTAMP:20261031T050520Z
DESCRIPTION:
DTSTART:20250710T160000Z
DTEND:20250710T160000Z
SUMMARY:Tutorial Sheet 10 (QMC 13)
END:VEVENT
END:VCALENDAR