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).