Talks:

  - tolerance (Antonio V)
  - multi-view standard (Antonio V)
  - abstraction/approximation; linguistic/ontological; experimental frame (Hans)
  - Modelverse (Yentl)
  - memory consistency (Clark)
  - stealth games (Clark) (over a cocktail)

 Tool demos:

  - co-simulation environment (Marco)
     Simulink -> distributed/multi-core deployment
  - Modelverse (Yentl)
  - Model transformation for/in Simulink (Ken/Joachim)