BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//confref//labs//EN
CALSCALE:GREGORIAN
X-WR-CALNAME:confref: International Spring School on Mathematical Methods 
 of Specification and Synthesis of Software Systems (MMSSS)
END:VCALENDAR