Formal Methods Europe

Homepage of FME

Author Archive


By Bernhard Aichernig • Jan 11th, 2011 • Category: Sponsored by FME

The 30th International Conference on Computer Safety, Reliability and Security
19 / 21 September 2011 - Naples, Italy
Technically co-sponsored by IEEE Computer Society
In cooperation with ACM SIGBED and SIGSAC
Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7), SAFECOMP has contributed to [...]

3rd JML Spec-a-thon summary

By Bernhard Aichernig • Nov 16th, 2010 • Category: Sponsored by FME

The 3rd JML Spec-a-thon finished up on Friday the 5th of November. Following up on my email of the 2nd that summarized our first couple of days, we thought we’d give the community a taste of what else went on at the event and what our concrete outcomes are.
As a recap, early in the [...]

VSTTE 2010

By Bernhard Aichernig • Nov 16th, 2010 • Category: News, Sponsored by FME

Back in August, the 3rd International Conference on Verified Software: Theories, Tools and Experiments (VSTTE 2010) was hosted by Heriot-Watt in Edinburgh.
VSTTE is the flagship conference associated with the Verified Software Initiative (VSI) — a fifteen year international collaborative project directed at the scientific challenges of large-scale software verification. VSTTE 2010 clearly met the [...]

FME Annual General Meeting 2011

By Bernhard Aichernig • Oct 29th, 2010 • Category: FME Meeting

The 2011 FME Annual General Meeting will be held at the Conservatoire National des Arts et Metiers (CNAM) in central Paris on Friday, February 18, between 10:00 and 13:00. CNAM is the venue of the FM 2012 symposium. After the meeting, we will be shown the FM 2012 symposium venue.
The meeting will take place in room [...]

FM 2012 in Paris

By Bernhard Aichernig • Oct 29th, 2010 • Category: News

The FM 2012 Symposium will be held at the Conservatoire National des Arts et Metiers (CNAM) in central Paris during August 27-31, 2012. The general chairs are Kamel Barkaoui (CNAM) and Béatrice Berard (Laboratoire d’Informatique de Paris 6). The PC chairs are  Dominique Mery and Dimitra Giannakopoulou. More details and updated information can be found on [...]

ICTAC 2010, September 1-3, 2010, Natal, Brazil

By Bernhard Aichernig • Oct 29th, 2010 • Category: Sponsored by FME

The “Seventh International Colloquium on Theoretical Aspects of Computing” (ICTAC) was held in September 1-3, 2010, in Natal, Brazil. The ICTAC series of conferences brings together practitioners and researchers from academia, industry and government to present research results, and exchange experience and ideas. Beyond these scholarly goals, another main purpose is to promote cooperation [...]

SCORE 2011: Student Contest on Software Engineering

By Bernhard Aichernig • Aug 10th, 2010 • Category: Sponsored by FME

SCORE 2011 is the second in a series of SCORE contests and part of the International Conference on Software Engineering. SCORE project topics suitable for software engineering project courses or independent teams are available now on the SCORE website. Teams must register at the SCORE website before they start the project. Participating teams must be [...]

CFP: FM+AM’10: 2nd Workshop on Formal Methods and Agile Methods, Affiliated to the SEFM’10 Conference, Pisa, September 2010

By Bernhard Aichernig • May 12th, 2010 • Category: News

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 [...]

FME AGM — new attempt: June 21st, 2010, Limerick

By Bernhard Aichernig • Feb 3rd, 2010 • Category: FME Meeting

* Update June 1, 2010*
Dear FME member,
We will make another attempt at an Annual General Meeting of the Formal Methods Europe association instead of the cancelled meeting of April 20th.
The AGM will now take place in the Daley Room, Plassey House, University of Limerick, Ireland, on June 21st, 2010, 10:00-13:00. After the meeting Mike Hinchey [...]

FME-sponsored JML Spec-a-thon

By Bernhard Aichernig • Nov 9th, 2009 • Category: Sponsored by FME

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 [...]