20th International Symposium on Formal Methods

FM2015_logo_square
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)
Oslo Town Hall (Credits: VisitOSLO/Nancy Bundt)

uio-logofme

FM 2015 gratefully recognizes the support of our sponsors:

  • rcn
  • City of Oslo
  • Certus_CMYK_+legend
  • CWI
  • CRNA
  • DNV_GL_LOGO_RGB-01
  • MSR

20th International Symposium on Formal Methods