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

TASE 2017
26 March 2017
02 Apr 2017
21 May 2017
13-15 Sept 2017
Nice, France

RV 2017
24 Apr 2017
1 May 2017
26 June 2017
13-16 Sept 2017
Seattle, USA

iFM 2017
28 March 2017
4 Apr 2017
26 May 2017
18-22 Sept 2017
Torino, Italy

ATVA 2017

21 Apr 2017
15 June 2017
4-6 [...]

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