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.
Activities include or have included: The Chair of FME is John Fitzgerald of the University of Newcastle upon Tyne, UK.
It was founded in 2003 through the initial efforts of Dines Bjørner and was chaired by Anthony Hall and Volkmar Lotz among others.
It organized meetings, especially in conjunction with conferences, for instance, industry days at the FM conferences organized by FME.