FMA

Formal Methods for Aerospace

Registered participants

Howard Barringer, Henk Blom, Marius Bujorianu Pieter Collins Louise Dennis Alessandro D'Innocenzo Claire Dixon Julien Forget Thierry Gautier Klaus Havelund,  Mike Hinchey, Daisuke Ishii Piotr Kordy, Suleyman Kardas Romain Kervarc Rom Langerak Mircea Lazar Nick Lincoln Ana Melo Sandeep Neema Mireille Samia, Sofiene Tahar Gopinadh Sirigineedi, Stefano Tonetta Enea Zaffanella

(University of Manchester, UK) (National Airspace Laboratory Amsterdam, NL) (University of Manchester, UK) (CWI Amsterdam, NL) (University of Liverpool, UK) (University of Rome, Italy) (University of Liverpool, UK) (ONERA, France) (INRIA Rennes, FR) (NASA, US) (LERO and University of Limerick, IRL) (Waseda University, Japan) (University of Twente, NL) (Turkey) (Onera, France) (University of Twente, NL) (Eindhoven University, NL) (University of Southampton, UK) (Vanderbilt University, USA) (Heinrich-Heine University Duesseldorf, Germany) (Concordia University, Canada) (Cranfield University, UK) (FBK Trento, IT) (University of Parma, IT)

Workshop main page