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
Notification
Conference Date
Location

ETAPS 2017
14 Oct 2016
21 Oct 2016
22 Dec 2016
24-29 Apr 2017
Uppsala, Sweden

NFM 2017
28 Nov 2016
5 Dec 2016
3 Feb 2017
16-18 May, 2017
Moffett Field, CA, USA

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

CAV 2017

24 Jan 2017
12 [...]



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