BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Plone.org//NONSGML plone.app.event//EN
X-WR-TIMEZONE:Europe/Rome
BEGIN:VEVENT
SUMMARY:Seminario: 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:20260406T040642Z
UID:4d6311e17b7942458063b9227a8f8f94@dei.unibo.it
CREATED;VALUE=DATE-TIME:20130219T090847Z
DESCRIPTION:Il seminario sarà tenuto dal Dr. Alessandro Cimatti\, Fondazi
 one Kessler\, nell'ambito del corso "Design for Testability and Reliabilit
 y of Integrated Circuits M".
LAST-MODIFIED;VALUE=DATE-TIME:20150508T141230Z
URL:https://dei.unibo.it/it/eventi/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