The conference is co-located with the following events, all taking place on Monday:
  1. Workshop on Integration of Model-based Methods and Tools
  2. FM SOA Workshop
One tutorial is also part of the conference, scheduled for the whole day on Monday:
  1. Contract Specification and Checking: Application to .NET and C by Shuvendru Lahiri und Francesco Logozzo (Microsoft Research)