BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Verification for Embedded Systems
DTSTART:20100712T133000
DTSTAMP:20260407T183657Z
UID:2dd64f8151ee988336a949d7c61583982ac2714da1da707debd0d7d0
CATEGORIES:Conferences - Seminars
DESCRIPTION:Ms Eva Darulovà\nEDIC Candidacy Exam:Exam president: Prof. Be
 rnard Moret Thesis director: Prof. Viktor KuncakCo-examiner: Prof. Martin 
 Odersky Research ProposalA Sound Floating-Point Polyhedra Domain by L. Che
 n\, A. Miné\, P. CousotAbstract Interpretation of the Physical Inputs of 
 Embedded Programs by O. Bouissou\, M. MartelEuropean Train Control System:
  A Case Study in Formal Verification by A . Platzer\, JD Quesel
LOCATION:BC 329 https://plan.epfl.ch/?room==BC%20329
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR