
MOVEP 2018
13th Summer School on
Modelling and Verification of Parallel Processes (MOVEP 2018)
ENS Paris-Saclay, Cachan, France
July 16 − 20, 2018
About
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.
Venue


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
Université de Bordeaux, Bordeaux INP, CNRS, LaBRI, France
Verification of Timed Systems
University of Twente, The Netherlands
Risk Happens and Stochastic Model Checking Can Help
Schedule
Abstracts of student presentations can be downloaded here (password protected).
Registration
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):
https://www.azur-colloque.fr/DR04/inscription/
Accommodation
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: https://easychair.org/conferences/?conf=movep2018
May 30, 2018
Abstract submission (extended!)
Jun 14, 2018
Notification of acceptance
Organization
Organizing committee
Program committee
CNRS, LSV & ENS Paris-Saclay
IRIF, Université Paris Diderot (Paris 7)
-
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)
Steering committee
-
Nathalie Bertrand (Inria Rennes-Bretagne Atlantique, Rennes, France)
-
Giorgio Delzanno (DIBRIS, Università di Genova, Italy)
-
Didier Lime (LS2N, École Centrale de Nantes, France)
-
Christof Löding (RWTH Aachen, Germany)
-
Nicolas Markey (CNRS, Université Rennes, France)
Sponsors

