The 20th International Symposium on Formal Methods will be held at the Department of Informatics, University of Oslo. Dr. symposium, tutorials, workshops June 22-23 Main conference: June 24-26 Program overview here! Technical program here! Registration is now open. Register here! FM2015 Handbook can be downloaded here! Oslo Town Hall (Credits: VisitOSLO/Nancy Bundt) FM 2015 gratefully recognizes t