FM 2009

Update 20 Nov 09: FM 2009 and FM Week succesfully completed.

Update: FM 2009 has started!

We are happy to announce FM2009, the 16th International Symposium on Formal Methods, Oct 30-Nov 7, 2009, Eindhoven, Netherlands. Celebrating 10 years after the World Congress in Toulouse, we envision a large conference with many workshops attached. FME has budgeted EUR 15,000 for sponsoring the co-events (e.g. invited speakers at workshops).

Author: Bernhard Aichernig