The event will take place during five days. During the first four days, theory lectures introducing theoretical/foundational topics (mostly in the morning) will be alternated with tutorials where techniques and tools will be explained hands-on (mostly in the afternoon).

All tools are available in a VirtualBox disk image that can be downloaded or can be copied from a usb-stick that will be given to you at the summer school.

A small common Case Study (from the railway domain) will be used across all tutorials to make the coherence between the different topics (language design, model transformation, semantics, model checking, ...) clear.

During the last day of the School, both the academic and industrial point of view on the most recent advances in the field will be presented. This will highlight current research as well as discuss challenges and open issues (with many hints for future PhD topics).