The 20th International Symposium on Formal Methods will be held at the
Department of Informatics, University of Oslo.
Main conference: June 24-26
Program overview here! Technical program here!
Registration is now open. Register here!
FM2015 Handbook can be downloaded here!
FM 2015 gratefully recognizes the support of our sponsors:
