BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:61663430-3564-4434-b033-346138616139
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:33326333-3436-4563-b461-656532323665
DTSTAMP:20261031T050519Z
DESCRIPTION:
DTSTART:20250417T100100Z
DTEND:20250417T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 1+2
END:VEVENT
BEGIN:VEVENT
UID:35396163-3432-4563-b838-363434376639
DTSTAMP:20261031T050519Z
DESCRIPTION:
DTSTART:20250508T100100Z
DTEND:20250508T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 3+4+5
END:VEVENT
BEGIN:VEVENT
UID:65666661-6637-4066-b831-663464346462
DTSTAMP:20261031T050519Z
DESCRIPTION:
DTSTART:20250515T100100Z
DTEND:20250515T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 6
END:VEVENT
BEGIN:VEVENT
UID:64393838-6363-4832-b530-303965343935
DTSTAMP:20261031T050519Z
DESCRIPTION:
DTSTART:20250522T100100Z
DTEND:20250522T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 7
END:VEVENT
BEGIN:VEVENT
UID:34623736-6563-4562-b530-636264613361
DTSTAMP:20261031T050519Z
DESCRIPTION:
DTSTART:20250605T100100Z
DTEND:20250605T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 8
END:VEVENT
BEGIN:VEVENT
UID:31613365-3265-4138-a536-626135396465
DTSTAMP:20261031T050519Z
DESCRIPTION:
DTSTART:20250612T100100Z
DTEND:20250612T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 9
END:VEVENT
BEGIN:VEVENT
UID:61313933-6662-4461-a438-646638323334
DTSTAMP:20261031T050519Z
DESCRIPTION:
DTSTART:20250626T122500Z
DTEND:20250626T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 10
END:VEVENT
BEGIN:VEVENT
UID:62393331-3331-4666-b630-656166313736
DTSTAMP:20261031T050519Z
DESCRIPTION:
DTSTART:20250703T100100Z
DTEND:20250703T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 11
END:VEVENT
BEGIN:VEVENT
UID:62343039-3531-4266-a464-613266656536
DTSTAMP:20261031T050519Z
DESCRIPTION:
DTSTART:20250710T100100Z
DTEND:20250710T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 12
END:VEVENT
BEGIN:VEVENT
UID:66653032-3934-4431-a631-333233626530
DTSTAMP:20261031T050519Z
DESCRIPTION:
DTSTART:20250717T100100Z
DTEND:20250717T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Tutorial QMC 13
END:VEVENT
END:VCALENDAR