BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:62663933-3433-4130-b663-303231323238
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:64326663-6531-4936-a262-356335346330
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170419T120000Z
DTEND:20170419T140000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 1
END:VEVENT
BEGIN:VEVENT
UID:65623837-6237-4233-b265-323137306233
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170424T060000Z
DTEND:20170424T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 2
END:VEVENT
BEGIN:VEVENT
UID:34326632-3764-4666-a532-646363333162
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170426T120000Z
DTEND:20170426T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66323665-3532-4734-b938-626264326538
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170508T060000Z
DTEND:20170508T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 3
END:VEVENT
BEGIN:VEVENT
UID:31626636-3539-4031-a263-386261363665
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170510T120000Z
DTEND:20170510T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39303161-3366-4361-b037-626537393237
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170515T060000Z
DTEND:20170515T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 4
END:VEVENT
BEGIN:VEVENT
UID:32303961-3138-4131-b162-623834396530
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170517T120000Z
DTEND:20170517T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30663766-6235-4235-b431-646231373661
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170522T060000Z
DTEND:20170522T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 5
END:VEVENT
BEGIN:VEVENT
UID:61626262-3435-4734-b035-626665396334
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART;VALUE=DATE:20170524
DTEND;VALUE=DATE:20170525
SUMMARY:Qmc17: No Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30356138-3437-4532-a261-633438343865
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170529T060000Z
DTEND:20170529T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 6
END:VEVENT
BEGIN:VEVENT
UID:35393462-6264-4165-a566-363231306563
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170531T120000Z
DTEND:20170531T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35393437-3837-4162-a438-363437623865
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170612T060000Z
DTEND:20170612T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 7
END:VEVENT
BEGIN:VEVENT
UID:30303435-3962-4432-b837-373863663662
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170616T215900Z
DTEND:20170616T215900Z
SUMMARY:Qmc17: Deadline: Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:37326334-3666-4332-a664-393465363531
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170619T060000Z
DTEND:20170619T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 8
END:VEVENT
BEGIN:VEVENT
UID:62363862-3563-4532-b631-643964343632
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170621T120000Z
DTEND:20170621T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37663032-6330-4734-b230-383733663063
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170626T060000Z
DTEND:20170626T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 9
END:VEVENT
BEGIN:VEVENT
UID:39303161-6665-4933-b264-393333343265
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170626T215900Z
DTEND:20170626T215900Z
SUMMARY:Qmc17: Deadline: Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:33346536-3333-4439-b037-633862306130
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170628T120000Z
DTEND:20170628T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38316132-6632-4066-a662-383164653036
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170703T060000Z
DTEND:20170703T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 10
END:VEVENT
BEGIN:VEVENT
UID:35613539-6136-4237-b633-356563323264
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170705T120000Z
DTEND:20170705T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39316534-3137-4664-a466-336564646531
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170710T060000Z
DTEND:20170710T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 11
END:VEVENT
BEGIN:VEVENT
UID:64393535-3266-4631-a135-376139646637
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170712T120000Z
DTEND:20170712T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64323730-6463-4165-b235-346538333362
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170717T060000Z
DTEND:20170717T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 12
END:VEVENT
BEGIN:VEVENT
UID:64393834-3566-4561-a539-636435393737
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170719T120000Z
DTEND:20170719T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64343038-6232-4834-b739-623863663030
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170724T060000Z
DTEND:20170724T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 13
END:VEVENT
BEGIN:VEVENT
UID:65646335-3563-4139-a264-376466393130
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170724T215900Z
DTEND:20170724T215900Z
SUMMARY:Qmc17: Deadline: Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:37313561-3566-4639-b037-316266656438
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170726T120000Z
DTEND:20170726T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34346532-3930-4536-a162-333235616333
DTSTAMP:20260606T040703Z
DESCRIPTION:
DTSTART:20170804T120000Z
DTEND:20170804T140000Z
SUMMARY:Qmc17: Final Exam
END:VEVENT
END:VCALENDAR