Formal Methods Europe

Homepage of FME

Lead Story

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 http://www.bcs.org/content/ConWebDoc/57129 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 [...]

{More»}

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 http://www.bcs.org/content/ConWebDoc/57129 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 [...]

News

Call for proposals: FM 2019»

Call for Proposals
23th International Symposium on Formal Methods
World Congress Autumn 2019
Formal Methods Europe (FME) is a worldwide association bringing together researchers and practitioners in formal methods for developing computing systems and software. We aim to encourage both research and application by disseminating research findings and industrial experience through symposia and sponsored events.
FME organizes a symposium [...]