Keynote Speakers  
Invited Speaker

Carlo Ghezzi

Adaptive software needs continuous verification
  Date: Tuesday September 14th
Time: 9.15 - 10.15
Room: Auditorium
 
Invited Speaker

Dimitra Giannakopoulou

"Fly me to the moon": Verification of Aerospace Systems
  Sponsored by FME http://www.fmeurope.org Date: Wednesday September 15th
Time: 9.00 - 10.00
Room: Auditorium
 
Invited Speaker

Dusko Pavlovic

The unreasonable ineffectiveness of security engineering
  Date: Thursday September 16th
Time: 9.00 - 10.00
Room: Auditorium
   

 
www.sefm2010.isti.cnr.it SEFM 2010 School
Home    |    News   |   Downloads   |   Sitemap   |     |   rss feed   |   css 2.1   |   last updated: 16 Sep, 2010 - 13:49