MOVEP'26, the 17th International School on Modeling and Verification of Parallel Processes, will be organized in Nancy, France by the Inria research center at University of Lorraine as an in-person event. It will take place at LORIA from June 15 to June 19, 2026.
Registration, accommodation, and travel/visa information for MOVEP'26 can be found on the web site.
Scientific Program
- 6 tutorials (3-hour presentations)
- 4 technical presentations (1.5-hour presentations)
- Presentations by participants of the school
Lecturers
- Étienne André, Nantes Université & LS2N, France
- Benoît Barbot, Université Paris-Est Créteil & LACL, France
- Timothy Bourke, Inria, ENS Paris, France
- Véronique Cortier, CNRS & LORIA, Nancy, France
- Joël Ouaknine, Max Planck Institute for Software Systems, Saarbrücken, Germany
- Simon Perdrix, Inria & LORIA, Nancy, France
- Jean-François Raskin, Université Libre de Bruxelles, Belgium
- Philipp Rümmer, University of Regensburg, Germany
- Davide Sangiorgi, University of Bologna, Italy
- Caterina Urban, Inria, ENS Paris, France
Please see here for details.
Social Events
- School dinner on
June 17
Registration
Online registration to MOVEP'26 will be available from this site.
The deadline for early registration is May 22, 2026. Late rates apply for those who register between May 23, 2026 and June 5, 2026. Registrations will be closed on June 5, 2026.
Contact
For all enquiries about MOVEP'26, email: movep26@inria.fr