FMA

Formal Methods for Aerospace

Steering Committee

Manuela Bujorianu (Manchester, UK)

Michael Fisher (Liverpool, UK)

Alessandro Giua (Cagliari, IT)

Corina Pasareanu (CMU and NASA, USA)

Program Committee

Howard Barringer	University of Manchester,	UK,
Marius Bozga	Verimag, Grenoble,	France,
Ricky Butler	NASA	USA
Ernst-Erich Doberkat,	University of Dortmund,	Germany,
Alessandro Giua	University of Cagliari	Italy
Jianghai Hu	Purdue University,	USA,
Rom Langerak	University Of Twente	Netherlands,
John Lygeros	ETH Zurich ,	Switzerland,
Savi Maharaj	University of Stirling,	UK,
Tiziana Margaria	University of Potsdam	Germany
Cesar Munoz	National Institute of Aerospace	USA
Flemming Nielson	Technical University of Denmark	DK
Dusko Pavlovic	(Kestrel Institute, and University of Oxford	USA, UK
Cristina Seceleanu	Malardalen University	Sweden
Roberto Segala	Universita di Verona,	Italy
Ferucio Laurentiu Tiplea	University of Iasi,	Romania
Antonios Tsourdos	Cranfield University	UK
Michael Whalen	Rockwell Collins	USA
Virginie Wiels	Onera	France

Workshop main page