FMA  - Formal Methods for Aerospace

 

FMA is intended to become a series of workshops that promote interdisciplinary research motivated by applications in various areas of aerospace engineering.

 

The first edition, FMA’09 took place on 3rd November 2009 in Eindhoven, the Netherlands, as an affiliated event of Formal Methods Week FM2009.  We thank all participants for a successful start!

A follow up edition is expected to take place in conjunction with FM 2011 in Limerick, Ireland.

 

Organizers

Manuela Bujorianu,        University of Manchester, UK

Michael Fisher,              University of Liverpool, UK

 

 

Info

 

Committees   

 

Related events

 

 

 

 

 

 

 

You are here: Mathematics > Manuela Bujorianu > FMA: Formal Methods for Aerospace Workshop