Formal Methods Europe

Homepage of FME

Lead Story

FM 2016 in Cyprus

FM 2016, the 21st International Symposium on Formal Methods will be held in Cyprus, 7-11 November 2016.
The General Chair is Anna Philippou, University of Cyprus.
The PC Co-Chairs are John Fitzgerald, Newcastle University, UK and Constance Heitmeyer, US Naval Research Lab, USA.
The event will take place at the 5 star hotel St. Raphael Resort at the [...]


Sponsored by FME

Report on AVoCS/AI4FM 2015 Edinburgh»

The 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) and the collocated 6th International Workshop on AI for Formal Methods (AI4FM 2015) were hosted by the School of Mathematical and Computer Sciences within Heriot-Watt University on September 1-4, 2015. The workshops took place in headquarters of the International [...]

FME Meeting

FME 6oth Meeting, London, 7 Dec 2015»

Dear FME member,
There will be an FME business meeting in London on December, 7th. The meeting will be held on the British Computer Society premises and the joint FME/BCS-FACS Landin seminar is held in conjunction with the meeting.
Please refer to the agenda for more information.
The minutes from the FME AGM in Oslo are available on [...]


Sad News: Peter Lucas passed away Feb. 2, 2015»

We are sad to report that on the 2nd of February, 2015, Prof. Peter Lucas passed away peacefully after a lengthy illness. He is remembered by many for his important contributions to the development of computer languages, and to those connected with FME as the chairman who established the association as a free and [...]