Call for Participation: COMPASS Summer School on Formal Modelling of Systems of Systems

The COMPASS Summer School
( takes place in Newcastle upon Tyne, UK from June 16-20, 2014.

We invite PhD students and post-doctoral researchers to participate in the Summer School, which will focus on new developments in modelling and analysis of Systems of Systems (SoSs).

The objective of the Summer School is to encourage the growth and development of a community of researchers around the COMPASS technology, and to engage interest in a community which includes experts in Model-Based Design, Architectural Modelling and Meta-Modelling, Systems Engineering and Formal Specification.

Participants will be initially trained in the core approach of model-based SoS Engineering, followed by specialised training in either architectural modelling frameworks or formal specification and verification using CML. This will be followed by group exercises combining both these aspects on a small SoS development case study.

We welcome applications from PhD students and post-doctoral researcher with a background in Systems of Systems, Systems Engineering, Formal Specification, Component-Based Development, Model-Based Systems Engineering or related disciplines.

To apply, please see the full call at

The deadline forĀ applications is Friday 14 March.

Author: Bernhard Aichernig