MOVEP 2018

13th Summer School on

Modelling and Verification of Parallel Processes (MOVEP 2018)

ENS Paris-Saclay, Cachan, France

July 16 − 20, 2018



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.

MOVEP 2018 will consist of ten invited tutorials. In addition, there will be special sessions that allow PhD students to present their on-going research (talks will last around 20 minutes). Extended abstracts of these presentations (2-4 pages) will be published in informal proceedings.

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, and Genova (Italy) in 2016.



Lectures take place in Amphithéâtre Chemla

(Institut d'Alembert).

Lunch breaks take place in the Hall Villon of Bâtiment d'Alembert.

Program & Schedule


Ecole Polytechnique, LIX, France

Computations & Dynamical Systems

Inria, LORIA, France

Verification of Cryptographic Protocols

Universität des Saarlandes, Germany

Synthesis of Reactive Systems

Université de Bordeaux, Bordeaux INP, CNRS, LaBRI, France

Verification of Timed Systems

University of Warwick, UK

Parity Games

Max Planck Institute for Software Systems, Kaiserslautern, Germany

Automata Learning

LSV, ENS Paris-Saclay & CNRS, France

Algorithmic Complexity of Well-Quasi-Orders

University of Salzburg, Austria

Semantics of Concurrent Data Structures

University of Twente, The Netherlands

Risk Happens and Stochastic Model Checking Can Help

Queen Mary University of London, UK

Automata over Infinite Alphabets

Please reload


Abstracts of student presentations can be downloaded here (password protected).


Registration Fee

The registration fee includes participation in the scientific program, lunch and coffee breaks, and a conference dinner. It does not cover accommodation (apart from CNRS members, see below) or travel expenses.

  • PhD or Master Students: 230 €

  • Other: 280 €

CNRS Members

MOVEP 2018 is an "École thématique" of the CNRS. If you are a CNRS member (i.e., paid by the CNRS, either as a permanent or a non-permanent member), then we pay your registration fee as well as accommodation. However, this offer is limited to 10 participants. Travel expenses are not covered. During the registration process, you will be asked to indicate whether you are a member of the CNRS.

Registration Web Site

Registration is open until June 14, 2018. Please register via the following web site (note that there is a pre-registration step):


Here is a list of hotels that are close by the venue or can be easily reached with public transportation. We recommend that you book your accommodation as early as possible. Please do not hesitate to contact the organizers for any assistance.


Student Presentations

We encourage participants to present their (ongoing or published) work. Talks will last around 20 minutes. 2-4 page abstracts (no particular format is required) should be submitted via easychair:


May 30, 2018

Abstract submission (extended!)

Jun 14, 2018

Notification of acceptance

Please reload


Organizing committee

CNRS, LSV & ENS Paris-Saclay

IRIF, Université Paris Diderot (Paris 7)

Please reload

Program committee

Steering committee