Formal Methods Europe

Homepage of FME

Lead Story

FM 2018: Oxford 15-17 July 2018

FM2018, the 22nd International Symposium on Formal Methods, will take place in Oxford, UK, 15-17 July 2018 as part of FLoC 2018, the Federated Logic Conferences.


Sponsored by FME

FMICS-AVoCS 2016, Pisa, 26-28 September 2016»

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

FME Meeting

FME Annual General Meeting 2017 and FME/BCS-FACS Seminar»

The 2017 FME Annual General Meeting will be held on the premises of the British Computer Society in London on Thursday, May 4, at 15:30. Refer to for more information.
The agenda and AGM documents are available here.

After the meeting, at 18:00, there will be a joint FME/BCS-FACS seminar by Prof. Dr. Reiner Hähnle, TU [...]


FM 2018: Call for Workshop Proposals»

Call for  proposals for workshops co-located with
FM 2018: 22nd International Symposium on Formal Methods
Oxford, UK, 15-17 July, 2018

Deadline for workshop proposals: June 19, 2017
Notification of decision on workshops: July 31, 2017

The 23rd International Symposium on Formal Methods (FM 2018) will take place at the University of Oxford, 15-17 July 2018, as part of [...]