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:
- Dissemination of research findings and industrial experience through conferences (every 18 months) and sponsored events;
- 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.
Famous quotes containing the words formal, methods and/or europe:
“The formal Washington dinner party has all the spontaneity of a Japanese imperial funeral.”
—Simon Hoggart (b. 1946)
“The greatest part of our faults are more excusable than the methods that are commonly taken to conceal them.”
—François, Duc De La Rochefoucauld (1613–1680)
“No human being can tell what the Russians are going to do next, and I think the Japanese actions will depend much on what Russia decides to do both in Europe and the Far East—especially in Europe.”
—Franklin D. Roosevelt (1882–1945)