ARTIST2 Summer School on Component & Modelling, Testing & Verification, and Statical Analysis of Embedded Systems, Sept 29 - Oct 2, 2005
home | programme | venue & travel | registration | steering committee | local organisers | invitation | photos

The ARTIST2 Summer School will be held at Nässlingen, Sweden, September 29 - October 2, 2005, in conjunction with the 3rd International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05). The Summer School offers a number of foundational tutorials accompanied by a selection of exiting new emerging technologies all given by absolute leading scientific experts of the community.

Target Audience

The ARTIST2 Summer School is a 4 day summer school for young researchers working or wanting to work in the fields of modelling, validation and performance analysis of embedded systems as well as engineers from industry with practical background in design and testing of embedded systems.

The Summer School is organised by the ARTIST2 Network of Excellence with strong contributions from three of its research clusters: Modelling & Components, Testing & Verification and Compilers & Timing Analysis. The school is open for participation for everybody, however, some previous training and/or experience in fundamentals of computer science as well as knowledge of computer architecture is required.