Benedikt Bollig

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

ENS Paris-Saclay, Cachan, France

Campus plan

How to get to the campus

​

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

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

Organization

Organizing committee

Program committee

• 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