BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:31613935-3636-4536-b338-303764623362
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:36303164-3166-4631-b931-623662633937
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170419T120000Z
DTEND:20170419T140000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 1
END:VEVENT
BEGIN:VEVENT
UID:62316139-6335-4538-a633-396338653636
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170424T060000Z
DTEND:20170424T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 2
END:VEVENT
BEGIN:VEVENT
UID:65313663-3731-4530-b866-326437666563
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170426T120000Z
DTEND:20170426T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35393335-3133-4839-a264-313637346336
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170508T060000Z
DTEND:20170508T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 3
END:VEVENT
BEGIN:VEVENT
UID:61396431-6661-4939-b365-363965326561
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170510T120000Z
DTEND:20170510T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30303563-3464-4638-b335-636234643932
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170515T060000Z
DTEND:20170515T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 4
END:VEVENT
BEGIN:VEVENT
UID:32343037-6333-4438-b833-363962363864
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170517T120000Z
DTEND:20170517T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66643736-6561-4530-a265-646234383037
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170522T060000Z
DTEND:20170522T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 5
END:VEVENT
BEGIN:VEVENT
UID:30316635-3931-4133-b236-313433383063
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART;VALUE=DATE:20170524
DTEND;VALUE=DATE:20170525
SUMMARY:Qmc17: No Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61353564-6266-4365-a362-316266363864
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170529T060000Z
DTEND:20170529T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 6
END:VEVENT
BEGIN:VEVENT
UID:64313161-6535-4565-b731-353633626239
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170531T120000Z
DTEND:20170531T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38616338-3362-4631-b533-383934333438
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170612T060000Z
DTEND:20170612T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 7
END:VEVENT
BEGIN:VEVENT
UID:32363731-6562-4238-a335-636561353937
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170616T215900Z
DTEND:20170616T215900Z
SUMMARY:Qmc17: Deadline: Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:64343161-3230-4634-a566-326230333732
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170619T060000Z
DTEND:20170619T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 8
END:VEVENT
BEGIN:VEVENT
UID:38373863-6666-4030-b461-663238313162
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170621T120000Z
DTEND:20170621T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65393931-3838-4432-b239-316436653930
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170626T060000Z
DTEND:20170626T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 9
END:VEVENT
BEGIN:VEVENT
UID:63663832-6637-4333-b465-633839323061
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170626T215900Z
DTEND:20170626T215900Z
SUMMARY:Qmc17: Deadline: Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:63373232-3231-4561-b965-373531353537
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170628T120000Z
DTEND:20170628T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65376131-3065-4663-b033-653763643139
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170703T060000Z
DTEND:20170703T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 10
END:VEVENT
BEGIN:VEVENT
UID:66613036-3138-4339-b031-633530623461
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170705T120000Z
DTEND:20170705T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32646562-6133-4565-b761-636637333235
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170710T060000Z
DTEND:20170710T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 11
END:VEVENT
BEGIN:VEVENT
UID:65313332-3735-4262-b835-376431386164
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170712T120000Z
DTEND:20170712T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31363831-6635-4637-a338-323439386437
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170717T060000Z
DTEND:20170717T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 12
END:VEVENT
BEGIN:VEVENT
UID:63626163-3639-4231-b261-633738613438
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170719T120000Z
DTEND:20170719T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30336463-6332-4363-b363-383535633839
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170724T060000Z
DTEND:20170724T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 13
END:VEVENT
BEGIN:VEVENT
UID:66653465-6361-4264-b166-653034623736
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170724T215900Z
DTEND:20170724T215900Z
SUMMARY:Qmc17: Deadline: Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:64363833-6539-4361-b733-356261306165
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170726T120000Z
DTEND:20170726T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64343538-6635-4836-b935-376239343036
DTSTAMP:20260717T184422Z
DESCRIPTION:
DTSTART:20170804T120000Z
DTEND:20170804T140000Z
SUMMARY:Qmc17: Final Exam
END:VEVENT
END:VCALENDAR