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

HVC 2017

21 July 2017
1 Sept 2017
13-15 Nov 2017
Haifa, Israel

ICFEM 2017
30 April 2017
7 May 2017
29 June 2017
13-17 Nov 2017
Xian, China

SBMF 2017
24 July 2017
2 Aug 2017
8 Sep 2017
27 Nov- 1 Dec 2017
Recife, Brazil

ETAPS 2018
13 Oct 2017
20 Oct 2017
22 [...]

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