Aims and Scope
MOVEP is a 5 day summer school about modelling and verifying parallel
The first five MOVEP schools 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
(France) in June 2008.
General topics relate to
specification and verification of computerized systems designed for
the control of real-time applications, reactive or critical systems,
and involving concurrent processes.
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. See here for more
Call for participation: [PDF]