Envisage: Engineering Virtualized Services
Skip to content
  • Envisage
  • About Envisage
    • Project Abstract
    • Project Information, Press, Media
    • Contact Information
    • Consortium
    • Advisory Boards
  • Dissemination
    • Envisage White Papers
    • Envisage Publications
    • Envisage Deliverables
    • SFM Summer School 2014
    • Engineering Virtualized Services @ ISoLA 2014
    • Workshop on Contracts for Efficient and Reliable Services @ iFM/FACS2014
    • Static Analysis meets Runtime Verification
    • Trondheim Developer Conference 2015
  • Log in

FM 2015 in Oslo

July 16, 2014EventsWritten by Einar Broch Johnsen. $s

FM2015_logo_square

The 20th International Symposium on Formal Methods (FM 2015) will be organized in Oslo, 22-26 June 2015.

The call for papers is out now. You know what to do (before January 9)!

Post navigation

← The World’s First Object-Oriented Program – from October 1st 1965 Envisage @ ISoLA 2014 →
Tweets by @EnvisageProject
This page has been viewed 1778 times.                  Powered by WordPress