The 10th school of MOVEP will take place in CIRM in Luminy (Marseille) and will be hosted by the LIF from 3 to 7 of december 2012. Version française

News

• 27 May 2011 Opening of the website

School for young researchers about Modelling and Verifying Parallel processes (MOVEP)

General topics of MOVEP are the specification and verification of computerized systems designed for the control of real-time applications, reactive or critical systems, and involving concurrent processes. This approach lies on theoretical tools issued from mathematics and logic (automata theory, languages, games, ...).

The 2012 edition of MOVEP school will be the tenth edition of a serie of succesfull meetings :

• Aachen (2010)
• Orléans (2008)
• Bordeaux (2006)
• Bruxelles (2004)
• Nantes (1994-2002)

Supports