Formal Methods Europe

Homepage of FME

Archives for the ‘Feature’ Category

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

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

ETAPS 2018
13 Oct 2017
20 Oct 2017
22 Dec 2017
14-21 Apr 2018
Thessaloniki, Greece

ABZ 2018
22 Jan 2018
29 Jan 2018
5 March 2018
5-8 June 2018
Southampton, UK

SPIN 2018

3 April 2018
25 Apr 2018
20-22 June 2018
Málaga, Spain

SEFM 2018
2 Mar 2018
9 Mar 2018
9 Apr 2018
25-29 [...]

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)

First FME Fellowship Awarded to Prof. Cliff Jones

By Bernhard Aichernig • Jul 8th, 2015 • Category: Feature

Prof. Cliff Jones of Newcastle University (UK) has been awarded the first FME Fellowship. The Fellowships are awarded every three years in recognition of technical breakthroughs and pioneering work in advancing, applying, and promoting mathematically rigorous methods for the design of computing systems.
The first call for nominations was issued in January 2015, and on 25 June [...]