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   |  
Warning: date(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /project/FMT/sefm2010/include/footer.php on line 83
  |   rss feed   |   css 2.1   |   last updated: 16 Sep, 2010 - 13:49