Formal Methods Wiki

FM conference

118pages on
this wiki

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

Around Wikia's network

Random Wiki