28 June to 2 July 2010, 9th Summer School on Modelling and Verifying Parallel Processes (MOVEP 2010), Aachen (Germany)

MOVEP is a 5 day summer school about modelling and verifying parallel processes. The first five occurrences of the School took place in Nantes (France) every two years from 1994 to 2002. The next editions were held in Brussels (Belgium) in December 2004, in Bordeaux (France) in June 2006, and in Orleans (France) in June 2008.

The purpose of MOVEP is to bring together researchers, students and people from industry working in the fields of control and verification of concurrent and reactive systems. The school seeks to offer a broad spectrum of current research in this area of theoretical and applied computer science. The topics covered by MOVEP 2010 include model checking, testing, synthesis, real-time and hybrid systems, games, stochastic systems, security, computational systems biology etc.

In addition to the tutorials and talks, there will be special sessions where Ph.D. students have the possibility to present their on-going research.

FURTHER INFORMATION
Web site: http://automata.rwth-aachen.de/movep2010/
Email: movep2010 at automata.rwth-aachen.de