BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:39643561-6330-4932-a164-626533373663
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:32636262-3237-4433-a166-396232353331
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170419T120000Z
DTEND:20170419T140000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 1
END:VEVENT
BEGIN:VEVENT
UID:38666661-3565-4935-b332-616561626236
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170424T060000Z
DTEND:20170424T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 2
END:VEVENT
BEGIN:VEVENT
UID:33613563-3630-4437-a466-623338393136
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170426T120000Z
DTEND:20170426T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34646232-3932-4161-b738-653130393830
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170508T060000Z
DTEND:20170508T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 3
END:VEVENT
BEGIN:VEVENT
UID:31316136-6665-4265-a534-343534616636
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170510T120000Z
DTEND:20170510T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32613165-3135-4037-b338-653239333133
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170515T060000Z
DTEND:20170515T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 4
END:VEVENT
BEGIN:VEVENT
UID:32346630-6436-4231-a434-336464643362
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170517T120000Z
DTEND:20170517T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37613162-3931-4266-b232-666436383836
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170522T060000Z
DTEND:20170522T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 5
END:VEVENT
BEGIN:VEVENT
UID:39623165-6565-4835-b466-326565323235
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART;VALUE=DATE:20170524
DTEND;VALUE=DATE:20170525
SUMMARY:Qmc17: No Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30656138-3735-4839-b932-373235633465
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170529T060000Z
DTEND:20170529T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 6
END:VEVENT
BEGIN:VEVENT
UID:63346135-6136-4461-a339-643963616339
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170531T120000Z
DTEND:20170531T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64316539-3733-4961-b931-333639313732
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170612T060000Z
DTEND:20170612T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 7
END:VEVENT
BEGIN:VEVENT
UID:39363133-3733-4166-b761-663836663837
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170616T215900Z
DTEND:20170616T215900Z
SUMMARY:Qmc17: Deadline: Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:62306336-3064-4961-b366-343333313962
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170619T060000Z
DTEND:20170619T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 8
END:VEVENT
BEGIN:VEVENT
UID:65636433-3635-4237-b265-363962326461
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170621T120000Z
DTEND:20170621T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33646530-3364-4365-b662-666364383762
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170626T060000Z
DTEND:20170626T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 9
END:VEVENT
BEGIN:VEVENT
UID:30666634-3935-4363-b265-396332343338
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170626T215900Z
DTEND:20170626T215900Z
SUMMARY:Qmc17: Deadline: Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:34396263-3164-4432-b737-393330386239
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170628T120000Z
DTEND:20170628T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36633535-6537-4564-b262-383165356432
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170703T060000Z
DTEND:20170703T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 10
END:VEVENT
BEGIN:VEVENT
UID:38393261-6433-4764-b832-336434386262
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170705T120000Z
DTEND:20170705T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33623265-3831-4466-b934-363638376136
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170710T060000Z
DTEND:20170710T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 11
END:VEVENT
BEGIN:VEVENT
UID:39353531-3137-4338-b361-633261663139
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170712T120000Z
DTEND:20170712T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35336232-3165-4638-b363-383265326165
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170717T060000Z
DTEND:20170717T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 12
END:VEVENT
BEGIN:VEVENT
UID:33366265-3535-4132-b232-386463393834
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170719T120000Z
DTEND:20170719T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66343263-3664-4262-b532-633362373665
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170724T060000Z
DTEND:20170724T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 13
END:VEVENT
BEGIN:VEVENT
UID:35633166-3531-4837-a537-663965393866
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170724T215900Z
DTEND:20170724T215900Z
SUMMARY:Qmc17: Deadline: Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:34306437-3362-4833-a366-653833646531
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170726T120000Z
DTEND:20170726T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30353034-3133-4238-b234-326433383938
DTSTAMP:20260606T031450Z
DESCRIPTION:
DTSTART:20170804T120000Z
DTEND:20170804T140000Z
SUMMARY:Qmc17: Final Exam
END:VEVENT
END:VCALENDAR