FMA  - Formal Methods for Aerospace

A Workshop Series

 

FMA is 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!

 

·  Special issue  of the ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE   journal on Formal Methods for Aerospace

·  The formal  proceedings of FMA’09 are now available online, as the volume 20  of Electronic Proceedings in Theoretical Computer Science

 

 

 

 

ccv hires 05b.jpg

 

Aerospace and Defense

 

 

Info

 

Committees   

 

Related events

 

 

 

 

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