BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:31653639-3337-4162-b637-343738336465
X-WR-CALNAME:Model Checking: Techniques and Applications Calendar
X-WR-CALDESC:Events of the lecture Model Checking: Techniques and Applicati
 ons
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:65346461-3331-4038-b737-653331633234
DTSTAMP:20260521T030825Z
DESCRIPTION:
DTSTART:20210108T090000Z
DTEND:20210108T110000Z
SUMMARY:Mcprosem: Practice Talks I
END:VEVENT
BEGIN:VEVENT
UID:36313361-3961-4134-b233-376564373531
DTSTAMP:20260521T030825Z
DESCRIPTION:
DTSTART:20210109T120000Z
DTEND:20210109T160000Z
SUMMARY:Mcprosem: Practice Talks II
END:VEVENT
END:VCALENDAR