Formal Methods Europe

Homepage of FME

FM 2009

By Bernhard Aichernig • Sep 22nd, 2008 • Category: News

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

Update: FM 2009 has started!

Update: The list of Accepted Papers for FM2009 is now available on the symposium page.

Update: Formal Methods 2009 Industry Day has published its website including the program.

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

Comments are closed.