Formal Methods Europe
From Wikipedia, the free encyclopedia
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.[1] 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:
- Dissemination of research findings and industrial experience through conferences (every 18 months) and sponsored events;[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.
[edit] See also
- BCS-FACS Formal Aspects of Computing Science Specialist Group
- Formal methods
[edit] References
- ^ FME, Formal Methods Wiki.
- ^ FM 2011: 17th International Symposium on Formal Methods, Lero, Limerick, Republic of Ireland, 20–24 June 2011.
[edit] External links
- FME website
- Formal Method Europe group on LinkedIn
 |
This formal methods-related article is a stub. You can help Wikipedia by expanding it. |
.jpeg){kind=small} |
This article about a scientific organization is a stub. You can help Wikipedia by expanding it. |
