The proceedings from the Doctoral Symposium of FM2015 are now available online.

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/

There will be special issues of Acta Informatica and Formal Aspects of Computing featuring selected papers from FM 2015.

Download here [large (A2)] [small (A3/A4)]

The Call for Papers has now been published:
http://fm2015.ifi.uio.no/?page_id=24

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)