BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Plone.org//NONSGML plone.app.event//EN
X-WR-TIMEZONE:Europe/Rome
BEGIN:VEVENT
SUMMARY:Seminar: From Formal Verification to Model-Based Safety Analysis
DTSTART;TZID=Europe/Rome;VALUE=DATE-TIME:20150513T140000
DTEND;TZID=Europe/Rome;VALUE=DATE-TIME:20150513T160000
DTSTAMP;VALUE=DATE-TIME:20260410T162101Z
UID:f85396211df7415483800dd325d1799e@dei.unibo.it
CREATED;VALUE=DATE-TIME:20130219T090847Z
DESCRIPTION:The seminar will be given by Dr. Alessandro Cimatti\, Fondazio
 ne Kessler\, Italy\, as part of the course on "Design for Testability and 
 Reliability of Integrated Circuits M".
LAST-MODIFIED;VALUE=DATE-TIME:20150508T141356Z
URL:https://dei.unibo.it/en/events/seminario-from-formal-verification-to-m
 odel-based-safety-analysis
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Rome
X-LIC-LOCATION:Europe/Rome
BEGIN:DAYLIGHT
DTSTART;VALUE=DATE-TIME:20150329T030000
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR