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, Grenoble (France) in 2020, and Aalborg (Denmark) in 2022.
The 16th edition of MOVEP will take place in Rennes (France), from 27th to 31st May 2024.