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 [...]
The COMPASS Summer School
(http://www.compass-research.eu/summerschool.html) takes place in
Newcastle upon Tyne, UK from June 16-20, 2014.
We invite PhD students and post-doctoral researchers to participate in the
Summer School, which will focus on new developments in modelling and
analysis of Systems of Systems (SoSs).
The objective of the Summer School is to encourage the growth and
development of a community of researchers [...]
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. [...]
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 [...]