ARTIST Summer School South-America 2010 May 26-28, 2010 Gramado, Brazil This fourth edition of the school seeks to continue strengthening the cooperation between Europe and South America in the area of embedded systems, both at educational and research levels. For this purpose, the goal of the school is to provide state-of-the-art courses on embedded systems oriented towards advanced students and young researchers. It should also provide a pleasant atmosphere for research-related discussions among the participants. Quantitative Model Checking 2010 March 2-5, 2010 IT University Copenhagen, Denmark The PhD school on quantivative model checking, QMC 2010, is organized by the European Network of Excellence ARTIST Design and the Danish VKR Center of Excellence MT-LAB and takes place at the IT University Copenhagen from 2 to 5 March 2010. It features lectures and other activities by world-renowned experts within the areas of real-time, probabilistic, and hybrid model checking. ARTIST Graduate Course: Automated Formal Methods for Embedded Systems - 2009 June 17-25, 2009 DTU - Lyngby, Denmark The aim of this course was to introduce advanced topics in connection with models, analysis and verification of embedded systems. The course will cover theory and applications, and hands-on experience with state-of-the-art tools. ARTIST Graduate Course on Embedded Control Systems 2009 June 8-12, 2009 Scuola Superiore Sant’Anna - Pisa, ARTIST2 Summer School 2008 in Europe September 8-12, 2008 Autrans (near Grenoble), France The Summer School offers a number of foundational tutorials, accompanied by a selection of lectures on exciting emerging technologies and industrial applications - given by leading scientific and/or industrial experts. ARTIST2 South-American School for Embedded Systems 2008 August 25-29, 2008 Universidade Federal de Santa Catarina, Florianopolis, Brazil Second edition of the ARTIST American School. Artist2 Summer School in China 2008 July 12-18, 2008 Shanghai, China ARTIST2 has organized the 3rd edition of a school on Embedded Systems Design in Shanghai. This year, the school was organized in collaboration with the SEI/ECNU and the LIAMA. Real-Time Kernels for Microcontrollers: Theory and Practice June 23-25, 2008 Pisa, Italy
ARTIST Summer School South-America 2010 May 26-28, 2010 Gramado, Brazil This fourth edition of the school seeks to continue strengthening the cooperation between Europe and South America in the area of embedded systems, both at educational and research levels. For this purpose, the goal of the school is to provide state-of-the-art courses on embedded systems oriented towards advanced students and young researchers. It should also provide a pleasant atmosphere for research-related discussions among the participants. Quantitative Model Checking 2010 March 2-5, 2010 IT University Copenhagen, Denmark The PhD school on quantivative model checking, QMC 2010, is organized by the European Network of Excellence ARTIST Design and the Danish VKR Center of Excellence MT-LAB and takes place at the IT University Copenhagen from 2 to 5 March 2010. It features lectures and other activities by world-renowned experts within the areas of real-time, probabilistic, and hybrid model checking. ARTIST Graduate Course: Automated Formal Methods for Embedded Systems - 2009 June 17-25, 2009 DTU - Lyngby, Denmark The aim of this course was to introduce advanced topics in connection with models, analysis and verification of embedded systems. The course will cover theory and applications, and hands-on experience with state-of-the-art tools. ARTIST Graduate Course on Embedded Control Systems 2009 June 8-12, 2009 Scuola Superiore Sant’Anna - Pisa, ARTIST2 Summer School 2008 in Europe September 8-12, 2008 Autrans (near Grenoble), France The Summer School offers a number of foundational tutorials, accompanied by a selection of lectures on exciting emerging technologies and industrial applications - given by leading scientific and/or industrial experts. ARTIST2 South-American School for Embedded Systems 2008 August 25-29, 2008 Universidade Federal de Santa Catarina, Florianopolis, Brazil Second edition of the ARTIST American School. Artist2 Summer School in China 2008 July 12-18, 2008 Shanghai, China ARTIST2 has organized the 3rd edition of a school on Embedded Systems Design in Shanghai. This year, the school was organized in collaboration with the SEI/ECNU and the LIAMA. Real-Time Kernels for Microcontrollers: Theory and Practice June 23-25, 2008 Pisa, Italy
D4-2-0-Y4_Spreading_Excellence.docx