BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:62326132-6431-4738-b135-346162323930
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:36623633-3233-4436-a135-393064633435
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170419T120000Z
DTEND:20170419T140000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 1
END:VEVENT
BEGIN:VEVENT
UID:30313063-6635-4761-b237-616434373562
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170424T060000Z
DTEND:20170424T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 2
END:VEVENT
BEGIN:VEVENT
UID:61653031-6639-4436-b262-336537646230
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170426T120000Z
DTEND:20170426T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38656434-3035-4064-b730-303432623539
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170508T060000Z
DTEND:20170508T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 3
END:VEVENT
BEGIN:VEVENT
UID:30666330-6130-4962-a361-646430396566
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170510T120000Z
DTEND:20170510T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32373261-3364-4463-b266-663438636538
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170515T060000Z
DTEND:20170515T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 4
END:VEVENT
BEGIN:VEVENT
UID:66643339-3736-4863-b932-363465396234
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170517T120000Z
DTEND:20170517T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63346263-3566-4338-b264-623238363033
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170522T060000Z
DTEND:20170522T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 5
END:VEVENT
BEGIN:VEVENT
UID:64376532-3632-4433-b961-613637613330
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART;VALUE=DATE:20170524
DTEND;VALUE=DATE:20170525
SUMMARY:No Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35343866-3936-4664-a434-393662626134
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170529T060000Z
DTEND:20170529T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 6
END:VEVENT
BEGIN:VEVENT
UID:32323838-6532-4632-a132-313833356463
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170531T120000Z
DTEND:20170531T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35643332-3537-4538-a135-323237623931
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170612T060000Z
DTEND:20170612T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 7
END:VEVENT
BEGIN:VEVENT
UID:65656466-3961-4732-b435-326431633262
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170616T215900Z
DTEND:20170616T215900Z
SUMMARY:Deadline: Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:63666365-6636-4739-a532-303363656563
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170619T060000Z
DTEND:20170619T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 8
END:VEVENT
BEGIN:VEVENT
UID:38333135-3331-4462-b134-663033346338
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170621T120000Z
DTEND:20170621T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37306132-3332-4363-b162-363631653961
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170626T060000Z
DTEND:20170626T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 9
END:VEVENT
BEGIN:VEVENT
UID:66393735-3837-4262-b633-333933616535
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170626T215900Z
DTEND:20170626T215900Z
SUMMARY:Deadline: Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:39353765-3735-4132-b839-376361646561
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170628T120000Z
DTEND:20170628T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31616363-3638-4831-b466-363232363131
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170703T060000Z
DTEND:20170703T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 10
END:VEVENT
BEGIN:VEVENT
UID:65363432-3464-4531-b932-633534313337
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170705T120000Z
DTEND:20170705T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37336262-3766-4563-a665-316162396132
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170710T060000Z
DTEND:20170710T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 11
END:VEVENT
BEGIN:VEVENT
UID:64333062-6663-4335-b361-626334323234
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170712T120000Z
DTEND:20170712T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32356263-3163-4431-b634-383762313632
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170717T060000Z
DTEND:20170717T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 12
END:VEVENT
BEGIN:VEVENT
UID:34663265-6136-4466-a430-323730373464
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170719T120000Z
DTEND:20170719T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63663963-3139-4262-b066-363837656463
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170724T060000Z
DTEND:20170724T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 13
END:VEVENT
BEGIN:VEVENT
UID:63306463-6531-4331-b161-396164353863
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170724T215900Z
DTEND:20170724T215900Z
SUMMARY:Deadline: Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:36336263-3432-4638-a539-663865363861
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170726T120000Z
DTEND:20170726T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39353831-3965-4138-a564-313331663164
DTSTAMP:20260717T184331Z
DESCRIPTION:
DTSTART:20170804T120000Z
DTEND:20170804T140000Z
SUMMARY:Final Exam
END:VEVENT
END:VCALENDAR