Formal Methods Europe

Homepage of FME

Author Archive

FM 2018: Oxford 15-17 July 2018

By Einar Broch Johnsen • May 5th, 2017 • Category: Lead Story, 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 [...]

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

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

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

By Einar Broch Johnsen • Dec 6th, 2016 • Category: Lead Story, 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 [...]

Become a Member of FME

By Einar Broch Johnsen • Nov 16th, 2016 • Category: Feature

You can become a member by filling in the membership application form.

FME is a not-for-profit association run by a group of volunteers that form the FME board. We encourage you to become a member and get involved with FME! Currently there is no membership fee.
FME’s aim is to encourage formal methods research and application. We

stimulate [...]

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

Upcoming FM Conferences

By Einar Broch Johnsen • Nov 13th, 2016 • Category: Feature

Below you find the FME list of upcoming conferences that are related to formal methods:

Conference Name
Abstract Due
Full Paper Due
Conference Date

TAP 2017
27 Feb 2017
5 March 2017
7 Apr 2017
17-21 July 2017
Marburg, Germany

CAV 2017

24 Jan 2017
12 Apr 2017
22-28 July 2017
Heidelberg, Germany

SEFM 2017
24 March 2017
31 March 2017
29 May 2017
6-10 Sept 2017
Trento, Italy

TASE 2017
26 March 2017
02 Apr 2017
21 May 2017
13-15 [...]

Sponsoring closed

By Einar Broch Johnsen • Nov 10th, 2016 • Category: Feature

FME is currently not accepting new applications for funding.
Next to its main FM conference series, FME sponsors other events related to formal methods. Typically invited talks are sponsored. Details about sponsorship can be found in our Guide to FME Sponsorship.
(Photo: maistora)

FMICS-AVoCS 2016, Pisa, 26-28 September 2016

By Einar Broch Johnsen • Jun 20th, 2016 • Category: Sponsored by FME

International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2016)
CNR, Pisa, Italy, 26-28 September 2016
In 2016, FMICS and AVoCS join their forces to hold a workshop combining their themes of formal methods and automated verification. For FMICS, this will be the 21st, for AVoCS the 16th edition.
The aim [...]