BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:39316138-3762-4231-a530-313038376535
X-WR-CALNAME:Decision Procedures for Verification and Synthesis Calendar
X-WR-CALDESC:Events of the lecture Decision Procedures for Verification and
  Synthesis
X-WR-TIMEZONE:Europe/Berlin
END:VCALENDAR
