Formal Methods Europe

Homepage of FME

Author Archive

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

18 Feb 2018
13 Apr 2018
20-22 June 2018
Málaga, Spain

SEFM 2018
23 Feb 2018
2 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)

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

Report on FormaliSE 2016 Austin

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

The 4th edition of FormaliSE was held on Sunday 15 May in Austin (Texas, USA), co-located with ICSE 2016. 13 Participants heard inspiring keynotes by Pamela Zave (AT&T Research) and Don Batory (University of Texas at Austin), mixed with presentations of scientific papers, including discussions. A panel discussion, chaired by Stefania [...]