Formal Methods Europe

Homepage of FME

Author Archive

Zot, an agile metric temporal logic satisfiability checker

By Bernhard Aichernig • Mar 26th, 2009 • Category: Sponsored by FME

FME sponsored the extension of the Zot tool from Politecnico di Milano as an FME Small Project. This small project has been completed.

New Formal Methods Wiki

By Bernhard Aichernig • Mar 26th, 2009 • Category: News

Jonathan Bowen has created a new Formal Methods Wiki under .

FME Meeting in London, 2nd April 2009

By Bernhard Aichernig • Dec 18th, 2008 • Category: FME Meeting

The last Annual General Meeting (AGM) of FME was held on 2 April 2009 at the BCS headquarters in London, UK.
Draft agenda of the AGM
The minutes will be put online as soon as they are available.
Update: the revised minutes are online.

FME Meeting in Pisa, 10 October 2008 (update)

By Bernhard Aichernig • Sep 24th, 2008 • Category: FME Meeting

The meeting was held succesfully. The minutes can be found in the Minutes section.

FM 2008: Goodbye Turku!

By Bernhard Aichernig • Sep 23rd, 2008 • Category: News

FM 2008, was succesfully completed. Photos of the event are available at the conference web page.

47th Meeting, Turku, Finland, 29 May 2008

By Bernhard Aichernig • Sep 23rd, 2008 • Category: FME Meeting

The 47th meeting was held at FM’08, Turku, Finland, 29 May 2008. For details
Download the Minutes of the 47th meeting.

Mondex Case Study of University of Karlsruhe

By Bernhard Aichernig • Sep 23rd, 2008 • Category: Sponsored by FME

See the results of the Mondex verification case study of University of Karlsruhe sponsored by an FME small project: Technical Report. The work has been published at SEFM 2007.

FM 2009

By Bernhard Aichernig • Sep 22nd, 2008 • Category: News

Update 20 Nov 09: FM 2009 and FM Week succesfully completed.
Update: FM 2009 has started!
Update: The list of Accepted Papers for FM2009 is now available on the symposium page.
Update: Formal Methods 2009 Industry Day has published its website including the program.
We are happy to announce FM2009, the 16th International Symposium on Formal Methods, Oct 30-Nov 7, 2009, [...]

FM 2012: Call for Participation

By Bernhard Aichernig • Nov 30th, 1999 • Category: News

August 27-31, 2012
CNAM, Paris, France


FM 2012 is the eighteenth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together innovators and practitioners [...]