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
Lunch breaks take place in the Hall Villon of Bâtiment d'Alembert.
Program & Schedule
Abstracts of student presentations can be downloaded here (password protected).
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 €
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.
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: https://easychair.org/conferences/?conf=movep2018
Parosh Abdulla (Uppsala University, Sweden)
Christel Baier (TU Dresden, Germany)
Ezio Bartocci (Vienna University of Technology, Austria)
Benedikt Bollig (CNRS, LSV, ENS Paris-Saclay, France)
Giorgio Delzanno (DIBRIS, Università di Genova, Italy)
Christoph Haase (University of Oxford, UK)
Peter Habermehl (IRIF, Université Paris Diderot, France)
Sławomir Lasota (University of Warsaw, Poland)
Nicolas Markey (CNRS, Université Rennes, France)
Mark Ryan (University of Birmingham, UK)
Mahsa Shirmohammadi (CNRS, Aix-Marseille Université, France)
Jiří Srba (Aalborg University, Denmark)
Tomáš Vojnar (Brno University of Technology, Czech Republic)