Formal Methods Europe

Homepage of FME

FM 2018: Oxford 15-17 July 2018

By Einar Broch Johnsen • May 5th, 2017 • Category: Lead Story, Uncategorized

FM2018, the 22nd International Symposium on Formal Methods, will take place in Oxford, UK, 15-17 July 2018 as part of FLoC 2018, the Federated Logic Conferences.



PC Chairs

  • Bill Roscoe, U. Oxford, UK
  • Jan Peleska, U. Bremen, DE, and Verified Systems International

Workshop Chairs

Comments are closed.