Formal Methods Europe

Homepage of FME

Archives for the ‘Lead Story’ Category

FME 65th Meeting at FormaliSE 2018, 2 June 2018

By Einar Broch Johnsen • May 25th, 2018 • Category: FME Meeting, Lead Story, Uncategorized

You are invited to attend the FME business meeting in Gothenburg on 2 June 2018. The meeting will be held at Congress center Gothia Towers and co-located with the FormaliSE 2018 conference (part of ICSE).
Please refer to the agenda for more information.
The minutes from the previous FME business meeting in Turin are available on [...]

FME Teaching Committee

By Einar Broch Johnsen • Apr 4th, 2018 • Category: Lead Story, News, Uncategorized

FME has established a teaching committee to support a worldwide improvement in learning formal methods, mainly by teaching but also via self-learning.
More information is available here

FME Fellowship Award: Call for Nominations

By Einar Broch Johnsen • Sep 20th, 2017 • Category: Lead Story, News, Uncategorized

Nominations for Formal Methods Europe Fellowship Award should be sent to The deadline for nominations is December 1, 2017.

FM 2018: Oxford 15-17 July 2018

By Einar Broch Johnsen • May 5th, 2017 • Category: Lead Story, News, Uncategorized

FM2018, the 22nd International Symposium on Formal Methods, will take place in Oxford, UK, 15-17 July 2018 as part of FLoC 2018, the Federated Logic Conferences.

FME Annual General Meeting 2017 and FME/BCS-FACS Seminar

By Einar Broch Johnsen • Apr 15th, 2017 • Category: FME Meeting, Lead Story

The 2017 FME Annual General Meeting will be held on the premises of the British Computer Society in London on Thursday, May 4, at 15:30. Refer to for more information.
The agenda and AGM documents are available here.

After the meeting, at 18:00, there will be a joint FME/BCS-FACS seminar by Prof. Dr. Reiner Hähnle, TU [...]

FormaliSE 2017 co-located with ICSE in Buenos Aires, Argentina

By Einar Broch Johnsen • Dec 6th, 2016 • Category: Lead Story, Sponsored by FME, Uncategorized

FormaliSE 2017, the 5th FME Workshop on Formal Methods in Software Engineering, will be co-located with ICSE, 20–28 May 2017, in Buenos Aires, Argentina
FormaliSE is a yearly workshop on Formal Methods in Software Engineering. FormaliSE is organized by FME (Formal Methods Europe). FormaliSE 2017 will be organised on 27 May 2017, co-located with ICSE in [...]

FM 2016 in Cyprus

By Bernhard Aichernig • Jul 8th, 2015 • Category: Lead Story, Uncategorized

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, Stefania Gnesi, ISTI-CNR, Italy, and Constance Heitmeyer, US Naval Research Lab, USA.
The event will take place at the 5 star hotel St. Raphael Resort at [...]