2nd Edition of Formal Methods for Aerospace

FMA@CDC

 

Affiliated with CDC’2010

Atlanta, Georgia, USA

 

14th December 2010

 

Home

 

 

         

      

                 

 

 

 

 

Workshop Programme

 

Room 209

 

 

8:10-8:15

 

8:15-9:00

 

9:00-9:45

 

9:45-10:30

 

10:30:11:00

 

11:00-11:45

 

11:45-12:30

 

12:30-13:45

 

13:45-14:30

 

14:30-14:45

 

14:45-15:30

 

15:30-16:15

 

16:15-17:00

 

17:00-17:45

 

17:45-18:00

Introduction


Henk Blom


Serdac Karaman


Manuela Bujorianu

Coffee break

Antonios Tsourdos


Sayan Mitra

Lunch

Alessandro Pinto

Coffee break

Maria Prandini


Jianghai Hu


Kostas Margellos & John Lygeros


Joost-Pieter Katoen

Discussions