The proceedings from the Doctoral Symposium of FM2015 are now available online.
Category Archives: News
Best paper awards
The best papers awards of FM this year will be announced at the banquet on Thursday 25/06.
There will be several workshops at FM 2015.
See the list here: http://fm2015.ifi.uio.no/workshops/
Journal special issues
There will be special issues of Acta Informatica and Formal Aspects of Computing featuring selected papers from FM 2015.
FM2015 posters are now available
Download here [large (A2)] [small (A3/A4)]
The Call for Papers has now been published:
The following invited speakers are confirmed for FM 2015:
- Elvira Albert, Complutense University of Madrid, Spain
- Werner Damm, OFFIS, DE
- Valérie Issarny, INRIA, FR
- Leslie Lamport, Microsoft Research, US
The PC chairs of FM 2015 will be
- Frank de Boer (CWI, NL)
- Nikolaj Bjørner (MSR, US)