BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//confref//labs//EN
CALSCALE:GREGORIAN
X-WR-CALNAME:confref: Symposium on Formal Methods for Automation and Safet
 y in Railway and Automotive Systems (FORMS/FORMAT)
END:VCALENDAR