The FM conference (formerly known as FME), the International Symposium on Formal Methods, is the leading international conference on formal methods, organized by Formal Methods Europe and held approximately every 18 months.

Individual conferences Edit

  • FM2011, Limerick, Ireland, 20–24 June 2011. New
  • FM2009, Eindhoven, The Netherlands, 2–6 November 2009.
  • FM06 (14th International Symposium on Formal Methods), McMaster University, Hamilton, Ontario, Canada, 21–27 August 2006.
  • FM05, Newcastle-upon-Tyne, UK, 18–22 July 2005. FM 2003, Pisa, Italy, 8–14 September 2003.
  • FME 2002 (Formal Methods Europe), Copenhagen, Denmark, 22–24 July 2002. Part of FLoC.
  • FM'99 (World Congress on Formal Methods), Toulouse, France, 20–24 September 1999.

See also Edit

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.