Welcome to MOVEP 2022

MOVEP is a five-day summer school on modelling and verification of parallel processes. It aims to bring together researchers, students, and people from industry working in the fields of control and verification of concurrent and reactive systems. MOVEP seeks to offer a broad spectrum of current research in this area, addressing theoretical and applied aspects of model checking, controller synthesis, software verification, temporal logics, real-time and hybrid systems, stochastic systems, security, run-time verification, etc.

The first five editions of MOVEP took place in Nantes (France) every other year from 1994 to 2002. It then moved to Brussels (Belgium) in 2004, Bordeaux (France) in 2006, Orléans (France) in 2008, Aachen (Germany) in 2010, Marseille (France) in 2012, Nantes (France) in 2014, Genova (Italy) in 2016, Cachan (France) in 2018 and online in 2020.

Participants of MOVEP 2022

News

  • June 3, 2022: The registration has closed
  • June 3, 2022: The social event has been announced
  • May 17, 2022: Accepted presentations and schedule are now online
  • April 27, 2022: Corrected early bird date
  • Mar 9, 2022: Program online
  • Feb 17, 2022: Registration link online (Closed)
  • Feb 17, 2022: Speaker abstract online
  • Dec 13, 2021: All speakers announced
  • Dec 8, 2021: Dates and speakers announced
  • Nov 1, 2021: We are online

Important Dates

All dates are Anywhere on Earth.