EAPLS - MOVEP'26

MOVEP'26

The 17th International School on Modeling and Verification of Parallel Processes will be organized in Nancy, France, from June 15-19, 2026.

in Other events by Stephan Merz on March 30, 2026

MOVEP’26: 17th International School on Modeling and Verification of Parallel Processes

The school will be organized by the Inria research center at University of Lorraine in Nancy, France, from June 15-19, 2026.

Lectures:

Jean-François Raskin (Univ. Libre de Bruxelles): Games and Learning for Reactive Synthesis
Romain Pechoux (Univ. de Lorraine & LORIA): Towards the Verification of Quantum Programs
Davide Sangiorgi (Univ. of Bologna): An Introduction to Conduction and the Duality with Induction
Caterina Urban (Inria & ENS Paris): Abstract Interpretation-Based Static Analysis for Machine Learning Verification and Explainability
Philipp Rümmer (Univ. of Regensburg and Uppsala Univ.): Satisfiability and Craig Interpolation Modulo Theories
Véronique Cortier (CNRS & LORIA): Formal Verification of Electronic Voting Systems
Étienne André (Univ. Nantes): Timed Model Checking
Timothy Bourke (Inria & ENS Paris): Scheduling Multi-Rate Dataflow Programs with Constraint Solvers
Joël Ouaknine (Max Planck Institute Software Systems): p-adic Techniques, with Applications to the Skolem Problem
Benoît Barbot (Univ. Paris Est Créteil & LACL): Quantitative Model Checking of Probabilistic Systems

Participants will also be able to present their research and obtain feedback from lecturers and other participants.

Important Dates:

Early registration and abstracts for participant presentations: May 22, 2026

Registration closed: June 5, 2026

Summer school: June 15-19, 2026