BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:30316635-3937-4937-b830-353863323662
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:38393735-3639-4463-a564-333263393366
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170419T120000Z
DTEND:20170419T140000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 1
END:VEVENT
BEGIN:VEVENT
UID:38653935-3334-4533-b231-303665363435
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170424T060000Z
DTEND:20170424T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 2
END:VEVENT
BEGIN:VEVENT
UID:63386165-3465-4431-b864-653438356431
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170426T120000Z
DTEND:20170426T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34666466-3938-4166-a636-346335623334
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170508T060000Z
DTEND:20170508T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 3
END:VEVENT
BEGIN:VEVENT
UID:65306436-3861-4630-a638-646333306262
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170510T120000Z
DTEND:20170510T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38636361-3031-4065-a265-633438636463
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170515T060000Z
DTEND:20170515T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 4
END:VEVENT
BEGIN:VEVENT
UID:63653737-6363-4334-b735-666666626333
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170517T120000Z
DTEND:20170517T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62643032-6230-4431-b261-373733353938
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170522T060000Z
DTEND:20170522T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 5
END:VEVENT
BEGIN:VEVENT
UID:31333162-3164-4761-a431-613337393833
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART;VALUE=DATE:20170524
DTEND;VALUE=DATE:20170525
SUMMARY:No Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62663131-6430-4433-a433-343263346633
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170529T060000Z
DTEND:20170529T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 6
END:VEVENT
BEGIN:VEVENT
UID:63616362-3266-4135-b935-383262656233
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170531T120000Z
DTEND:20170531T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38353036-3263-4735-b635-626363636236
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170612T060000Z
DTEND:20170612T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 7
END:VEVENT
BEGIN:VEVENT
UID:66613964-3961-4133-a233-366638656331
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170616T215900Z
DTEND:20170616T215900Z
SUMMARY:Deadline: Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:66633962-3230-4661-b030-666338636661
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170619T060000Z
DTEND:20170619T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 8
END:VEVENT
BEGIN:VEVENT
UID:32396662-6635-4233-a433-306562383937
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170621T120000Z
DTEND:20170621T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39323536-3663-4237-b366-303336366131
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170626T060000Z
DTEND:20170626T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 9
END:VEVENT
BEGIN:VEVENT
UID:37396362-3965-4233-b664-316536303365
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170626T215900Z
DTEND:20170626T215900Z
SUMMARY:Deadline: Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:33386564-3136-4332-b237-386264643938
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170628T120000Z
DTEND:20170628T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35633932-6633-4637-b834-373937383231
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170703T060000Z
DTEND:20170703T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 10
END:VEVENT
BEGIN:VEVENT
UID:36353062-6265-4065-a435-386464643266
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170705T120000Z
DTEND:20170705T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62356362-3831-4638-b836-323434643361
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170710T060000Z
DTEND:20170710T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 11
END:VEVENT
BEGIN:VEVENT
UID:37326464-3461-4636-b465-303038383133
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170712T120000Z
DTEND:20170712T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37336639-3266-4638-a432-383338356631
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170717T060000Z
DTEND:20170717T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 12
END:VEVENT
BEGIN:VEVENT
UID:30386138-3031-4337-b333-363366386536
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170719T120000Z
DTEND:20170719T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65373533-3238-4261-a538-626131653537
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170724T060000Z
DTEND:20170724T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 13
END:VEVENT
BEGIN:VEVENT
UID:39646166-3866-4430-b631-653937626261
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170724T215900Z
DTEND:20170724T215900Z
SUMMARY:Deadline: Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:63323663-6461-4965-a135-613431613833
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170726T120000Z
DTEND:20170726T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33643832-3663-4661-b363-373061383464
DTSTAMP:20260627T004030Z
DESCRIPTION:
DTSTART:20170804T120000Z
DTEND:20170804T140000Z
SUMMARY:Final Exam
END:VEVENT
END:VCALENDAR