Lead Story
FM 2009
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, [...]
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 [...]
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.
