AFSEC

Approches Formelles des Systèmes Embarqués Communicants

MOVEP 2010 (June 28 — July 2 2010)

17th May 2010

MOVEP 2010
9th International Summer School on
MOdelling and VErifying parallel Processes

June 28 — July 2 2010, Aachen, Germany

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.

MOVEP 2010 is supported by the ESF GAMES project, INRIA Rennes, Action AFSEC (CNRS) and the RWTH Aachen.

Leave a Reply

You must be logged in to post a comment.