Formal Methods Europe

Homepage of FME

Lead Story

FM 2011 at Lero in Limerick, Ireland

Plans are now being laid to hold FM 2011 symposium at Lero in Limerick. Lero is Ireland’s Software Engineering Research Centre, comprising University of Limerick (UL) and the three Dublin universities: Dublin City University (DCU), Trinity College Dublin (TCD), and University College Dublin (UCD).  Lero is funded by Science Foundation Ireland under its CSET programme [...]

{More»}

Sponsored by FME

FME-sponsored JML Spec-a-thon»

A JML Spec-a-thon is a gathering of JML researchers and users for intense collaboration on JML development, modeled after other development gatherings such as the OpenBSD Hackathons and the PyPy Sprints.
Our first FME-sponsored Spec-a-thon was a great success. We had nine attendees from the U.S.A. and Europe, we worked hard and long, made T-shirts [...]

FME Meeting

FME Meeting at FM 2009, Nov 5»

Update 20 Nov 09: The minutes are now online.
Dear FME member,
There will be a FME business meeting during the FM symposium in Eindhoven. The meeting will be at 12:30 on November 5th in the Senaatszaal behind the main lecture hall of the Technische  Universiteit auditorium building.
Preliminary agenda items:
- Report on FM09
- Planning of FM11
- Report on [...]

News

FME Tools Repository»

We are happy to announce that the FME Tools Repository is online. It is hosted at University of Minho.
The repository was funded by FME under the small-project scheme. It was implemented by Adriana Santos and Carlos Vilhena.