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 Verification Competition will take place as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2015) on April 12th, 2015 in London, UK.
The aims of the competition are:
to bring together those interested in formal verification, and to provide an engaging, hands-on, and fun opportunity for discussion, and
to evaluate [...]
Dear FME Member,
As usual at FM Symposia, there will be an FME business meeting at the symposium in Singapore.
The meeting will be held during lunch (12:30-14:00) on Friday, May 16. The room will be announced.
For details, please, see the Agenda.
All FME members are most welcome!
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 [...]