Formal Methods Europe

Homepage of FME

Archives for the ‘News’ Category

CfP FM 2018 Doctoral Symposium

By Einar Broch Johnsen • Apr 23rd, 2018 • Category: News

Call for Papers – FM 2018 Doctoral Symposium - Saturday July 14, 2018

New Submission deadline:  29 April 2018
Notification:   15 May 2018
Doctoral Symposium:  14 July 2018

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

FM 2018: keynote speakers

By Einar Broch Johnsen • Dec 6th, 2017 • Category: News

The keynote speakers for FM2018 have just been announced:

Annabelle McIver, Macquarie University, Sydney, Australia
Leonardo de Moura, Microsoft Research, Redmond, USA
Kim Guldstrand Larsen, Aalborg University & UP4ALL, Denmark

See the FM2018 website for more information.

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.

FME 64th Meeting at iFM2017, 20 September 2017

By Einar Broch Johnsen • Aug 29th, 2017 • Category: FME Meeting, News

You are invited to attend the FME business meeting in Turin on 20 September 2017. The meeting will be hosted by the University of Torino and co-located with the Integrated Formal Methods (iFM2017) conference.
Please refer to the agenda for more information.
The minutes from the previous FME business meeting in London are available on the [...]

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

Call for proposals: FM 2019

By Einar Broch Johnsen • Apr 14th, 2017 • Category: News

Call for Proposals
23th International Symposium on Formal Methods
World Congress Autumn 2019
Formal Methods Europe (FME) is a worldwide association bringing together researchers and practitioners in formal methods for developing computing systems and software. We aim to encourage both research and application by disseminating research findings and industrial experience through symposia and sponsored events.
FME organizes a symposium [...]

First FME Lucas Award to Dick and Faivre

By Einar Broch Johnsen • Nov 15th, 2016 • Category: News

The FME Lucas Award goes to Jeremy Dick and Alain Faivre for their paper
Automating the generation and sequencing of test cases from model-based specifications
published at the First International Symposium of Formal Methods Europe (FME’93).

The FME Awards Committee motivated its decision as follows:
Dick and Faivre’s paper is a ground-breaking contribution to automation of testing based on [...]

Call for Papers: FM 2016

By Bernhard Aichernig • Dec 6th, 2015 • Category: News

FM 2016: 21st International Symposium on Formal Methods
Limassol, Cyprus, 7-11 November 2016
• Abstract submission deadline: 16 May 2016
• Full paper submission deadline: 30 May 2016
• Notification: 8 August 2016
• Conference: 7-11 November 2016
FM 2016 is the latest in a series of symposia organized by Formal Methods Europe, [...]