Formal Methods Europe

Homepage of FME

Archives for the ‘Uncategorized’ 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.

FM 2018: Call for Workshop Proposals

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

Call for  proposals for workshops co-located with
FM 2018: 22nd International Symposium on Formal Methods
Oxford, UK, 15-17 July, 2018

Deadline for workshop proposals: June 19, 2017
Notification of decision on workshops: July 31, 2017

The 23rd International Symposium on Formal Methods (FM 2018) will take place at the University of Oxford, 15-17 July 2018, as part of [...]

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

FME Annual General Meeting in Oslo, 23 June 2015

By Bernhard Aichernig • Jun 5th, 2015 • Category: FME Meeting, Uncategorized

Dear FME Member,
This year we will hold our Annual General Meeting at the FM 2015 symposium in Oslo.
The AGM will take place on Tuesday, 23 June 2015, 17:45. The meeting will take in the “Smalltalk” room
in the Ole-Johan-Dahl building (the symposium venue).
Below you find the relevant AGM documents:
FME Report on 2014
FME Plans for 2015
FME [...]

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

By Bernhard Aichernig • Feb 5th, 2015 • Category: News, Uncategorized

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

Call for FM’14 Symposium Proposals

By Bernhard Aichernig • Feb 15th, 2012 • Category: Uncategorized

The FME board is inviting proposals to arrange the 19th International Symposium on Formal Methods 2014.
We particularly invite proposals from outside Europe.
See the attached Call for FM’14.