BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:30613236-3532-4731-a439-326437663037
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:66613639-6539-4537-b736-353930656166
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170419T120000Z
DTEND:20170419T140000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 1
END:VEVENT
BEGIN:VEVENT
UID:38306438-3739-4662-a536-343831356335
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170424T060000Z
DTEND:20170424T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 2
END:VEVENT
BEGIN:VEVENT
UID:63353964-6131-4161-b836-663234663263
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170426T120000Z
DTEND:20170426T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34343466-3938-4037-b132-363837656166
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170508T060000Z
DTEND:20170508T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 3
END:VEVENT
BEGIN:VEVENT
UID:35373638-3862-4161-a234-343237646265
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170510T120000Z
DTEND:20170510T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33346636-6230-4234-b032-656664333238
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170515T060000Z
DTEND:20170515T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 4
END:VEVENT
BEGIN:VEVENT
UID:65653666-6436-4838-a637-343338343133
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170517T120000Z
DTEND:20170517T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38633664-6335-4330-b264-343661653063
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170522T060000Z
DTEND:20170522T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 5
END:VEVENT
BEGIN:VEVENT
UID:66333762-6239-4536-a233-323766333632
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART;VALUE=DATE:20170524
DTEND;VALUE=DATE:20170525
SUMMARY:No Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66663837-3166-4464-b631-373264653832
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170529T060000Z
DTEND:20170529T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 6
END:VEVENT
BEGIN:VEVENT
UID:31356533-3263-4564-a562-613766653961
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170531T120000Z
DTEND:20170531T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66373132-3135-4932-b533-316263353765
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170612T060000Z
DTEND:20170612T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 7
END:VEVENT
BEGIN:VEVENT
UID:62656230-6639-4736-b532-353066386135
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170616T215900Z
DTEND:20170616T215900Z
SUMMARY:Deadline: Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:34333061-6364-4664-a639-313165656437
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170619T060000Z
DTEND:20170619T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 8
END:VEVENT
BEGIN:VEVENT
UID:63303064-3938-4534-b162-343639323130
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170621T120000Z
DTEND:20170621T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39633138-6139-4538-b132-363963656538
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170626T060000Z
DTEND:20170626T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 9
END:VEVENT
BEGIN:VEVENT
UID:39366638-3766-4233-b636-653833353434
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170626T215900Z
DTEND:20170626T215900Z
SUMMARY:Deadline: Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:35613039-3239-4735-b833-303262396537
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170628T120000Z
DTEND:20170628T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66636633-6235-4435-a334-346664663136
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170703T060000Z
DTEND:20170703T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 10
END:VEVENT
BEGIN:VEVENT
UID:32363238-3636-4736-b761-396134396664
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170705T120000Z
DTEND:20170705T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34376461-3561-4834-a136-373636613336
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170710T060000Z
DTEND:20170710T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 11
END:VEVENT
BEGIN:VEVENT
UID:34376639-3266-4262-b032-333537323931
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170712T120000Z
DTEND:20170712T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32393031-6365-4439-a332-363830383736
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170717T060000Z
DTEND:20170717T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 12
END:VEVENT
BEGIN:VEVENT
UID:63323666-3266-4639-a233-613237333361
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170719T120000Z
DTEND:20170719T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66303131-3438-4464-a230-646638363833
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170724T060000Z
DTEND:20170724T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 13
END:VEVENT
BEGIN:VEVENT
UID:66376331-6266-4331-b538-396363303363
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170724T215900Z
DTEND:20170724T215900Z
SUMMARY:Deadline: Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:65616663-3939-4431-a530-346433363232
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170726T120000Z
DTEND:20170726T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62396431-6662-4738-b866-323436393234
DTSTAMP:20261022T143818Z
DESCRIPTION:
DTSTART:20170804T120000Z
DTEND:20170804T140000Z
SUMMARY:Final Exam
END:VEVENT
END:VCALENDAR