Formal Methods Europe

Homepage of FME

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

By Bernhard Aichernig • Mar 8th, 2014 • Category: Sponsored by FME

The COMPASS Summer School
(http://www.compass-research.eu/summerschool.html) 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
http://www.compass-research.eu/summerschoolform.html.

The deadline forĀ applications is Friday 14 March.

Comments are closed.