FM 2015, the 20th Formal Methods symposium will be held at University of Oslo, Norway, 22–26 June, 2015.
The General Chair is Einar Broch Johnsen.
The PC Co-Chairs are Frank de Boer (CWI) and Nikolaj Bjorner (Microsoft Research).
Paper submission: 2 Jan 2015 (abstracts), 9 Jan 2015 (full papers).
This will be the first time that FM takes place in [...]
The 4th VerifyThis 2015 Program Verification took place on April 12th, 2015 in London as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2015).
The aims of the competition were:
to bring together those interested in formal verification, and to provide an engaging, hands-on, and fun opportunity for discussion
to evaluate the usability [...]
Dear FME Member,
This year we will hold our Annual General Meeting at the FM 2015 symposium in Oslo.
The AGM will take place on Tuesday, 23 June 2015, 17:45. The meeting will take in the “Smalltalk” room
in the Ole-Johan-Dahl building (the symposium venue).
Below you find the relevant AGM documents:
FME Report on 2014
FME Plans for 2015
We are sad to report that on the 2nd of February, 2015, Prof. Peter Lucas passed away peacefully after a lengthy illness. He is remembered by many for his important contributions to the development of computer languages, and to those connected with FME as the chairman who established the association as a free and [...]