Formal Methods Europe

Homepage of FME

Lead Story

FM 2014: Registration Open

It is time to register! The upcoming Formal Methods conference FM 2014 in Singapore has opened the registration process. The deadline for early registration is 31 March 2014.
Go to Registration Page.
For the list of accepted papers see list of accepted papers.
The upcoming Formal Methods conference FM 2014 will be held in Singapore. It takes place [...]


Sponsored by FME

Call For Participation: FormaliSE 2014»

FormaliSE 2014, Hyderabad, India, 3 June 2014

FormaliSE 2014 received a good number of high-quality submissions this year and
we are proud to announce an excellent programme. The FormaliSE workshop is
co-located with ICSE 2014 ( Please join us
at FormaliSE 2014!
Formal methods for software developent are still not widely used in industry.
This may be due to the fact [...]

FME Meeting

New Chair Elected: Ana Cavalcanti»

The FME members present at the last Annual General Meeting (AGM) have elected Ana Cavalcanti as the new chair of the board of FME. She is succeeding John Fitzgerald who has served as chairman since 2000.
Ana Cavalcanti is a Professor at the University of York and a Royal Society - Wolfson Research Merit Award holder. [...]


FM 2015 in Oslo»

We are pleased to announce that our Formal Methods 2015 symposium (FM 2015) will be hosted at University of Oslo, Norway. The organizer will be the formal methods group at the Department of Informatics. The General Chair is Einar Broch Johnsen.
This will be the first time that FM takes place in Norway. The University of Oslo [...]