What is FME?

Formal Methods Europe (FME) is an organisation with the mission of promoting and supporting the industrial use of formal methods for computer systems development. It is not allied to any single organisation or group of organisations. Its members come from a mix of industrial, academic, and government bodies.

History

Before its incorporation as an independent legal entity on 8 May 1998, FME had enjoyed a ten-year history. Its origins were in VDM-Europe, a group of enthusiasts who sought to stimulate the interest in the formal method VDM in the mid 1980s. A first symposium (VDM’87) was organized in Brussels, Belgium. At that time there was a substantial financial dependence on the European Union. In 1992 the scope was broadened to cover formal methods in general: Formal Methods Europe was born. In 1997 it became clear that, in order to better serve the needs of the formal methods community and to be able to take up a more formal role as a partner in e.g. contracts, it would be necessary to become an independent legal entity. This led to the establishment of Formal Methods Europe as an association under Dutch law on 8 May 1998.

Statutes

FME's statutes are available on the Downloads page.

Board members

The current members of FME's Board are:
John Fitzgerald (Chairman)
Nico Plat (Secretary)
Marcel Verhoef (Treasurer)
Bernhard Aichernig (Publications)
Stefania Gnesi (Symposia and Deputy Chair)

© copyright 2004 | Formal Methods Europe