Formal Methods Europe (FME) is an organization whose aim is to encourage the research and application of formal methods for the improvement of software and hardware in computer-based systems. The association's members are drawn from academia and industry. It is based in Europe, but is international in scope. FME operates under Dutch law.

Activities include or have included:

  • Dissemination of research findings and industrial experience through conferences (every 18 months) and sponsored events;[1][2]
  • Development of information resources for educators;
  • Networking for commercial practitioners through ForTIA (Formal Techniques Industry Association).

The Chair of FME is John Fitzgerald of the University of Newcastle upon Tyne, UK.

ForTIA

The Formal Techniques Industry Association (ForTIA) aimed to support the industrial use of formal methods under the umbrella organization of Formal Methods Europe. It was founded in 2003 through the initial efforts of Dines Bjørner and was chaired by Anthony Hall and Volkmar Lotz among others. Its scope was international and membership was by company. It organized meetings, especially in conjunction with conferences, for instance, industry days at the FM conferences organized by FME.[3][4]

See also

References

  1. ↑ "FM 2011: 17th International Symposium on Formal Methods". Limerick, Republic of Ireland: Lero. 20–24 June 2011. Retrieved 16 August 2014.
  2. ↑ "FM 2014: 19th International Symposium on Formal Methods". Singapore: National University of Singapore. 14–16 May 2014. Retrieved 16 August 2014.
  3. ↑ "ForTIA Industry Day 2006". Formal Methods 2005. Newcastle-upon-Tyne, UK: Archive.org. Archived from the original on June 8, 2009. Retrieved 16 August 2013. {{cite web}}: External link in |work= (help)
  4. ↑ "Industry Day". FM 2006. Hamilton, Canada: McMaster University. 23 August 2006. Retrieved 16 August 2013. {{cite web}}: External link in |work= (help)


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.