Lead Story
FM 2011: Limerick, Ireland, 20-24 June 2011
The FM 2011 symposium will be held at Lero in Limerick, 20-24 June 2011. 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
CFP: FM+AM’10: 2nd Workshop on Formal Methods and Agile Methods, Affiliated to the SEFM’10 Conference, Pisa, September 2010»Formal Methods (FM) and Agile Methods (AM) are often seen
as antagonists in the field of software methodololgy, but
this does not necessarily be the case.
For this workshop we are seeking novel contributions that
can be used for making rapid development techniques more
formally sound, as well as for accelerating the speed of
formally sound development techniques. This could be [...]
