[TYPES/announce] MOVEP2020

[Radu Iosif]

COVID-19 UPDATE: Due to the global lockdown situation, MOVEP 2020 will
be organized online and will be free of charge. The lecturers will
give lectures using a web-based online teaching platform according to
a schedule that will be announced. The fees of current registrants
will be reimbursed and we shall keep the registration open and free of
charge until June 22nd.

================================================
14th Summer School on 
Modelling and Verification of Parallel Processes (MOVEP)

Université Grenoble Alpes, Grenoble, France

June 22 - 26, 2020

http://projects-verimag.imag.fr/movep2020/
================================================

MOVEP is a five-day summer school on modelling and
verification of infinite state systems. It aims to bring
together researchers and students working in the
fields of control and verification of concurrent and
reactive systems.

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

==================
Confirmed Speakers
==================

* MIKOŁAJ BOJAŃCZYK (University of Warsaw, Poland) Computation Theory with Atoms
* DMITRY CHISTIKOV (University of Warwick, United Kingdom) Ultimately periodic sets, semi-linear sets, and Presburger arithmetic
* THAO DANG (Verimag and CNRS) Set-based computation for hybrid systems verification
* JAVIER ESPARZA (TU München) Proving liveness properties of replicated systems
* ANTHONY LIN (TU Kaiserslautern) Algorithmic Verification of String-Manipulating Programs
* DEJAN NICKOVIC (AIT Vienna) From real-time temporal logic to timed automata
* JEAN-FRANCOIS RASKIN (Université Libre de Bruxelles) Two-Player Zero Sum Games played on Graphs
* ANDREW REYNOLDS (University of Iowa) Solving Verification Conditions using SMT Solvers
* ALEXANDRA SILVA (University College London) Programming and Reasoning with Kleene Algebra with Tests
* JAMES WORELL (University of Oxford) Decision Problems for Linear Dynamical Systems

=========================================
Important Dates (AoE)
=========================================

Submission of abstracts: May 1st 2020
Notification: 		 May 15th 2020

Submission link:    	 https://easychair.org/conferences/?conf=movep2020

============
Committees
============

Organising committee

Nicolas Basset (Verimag, University of Grenoble Alpes)
Radu Iosif (Verimag, CNRS, University of Grenoble Alpes)

Program committee

Mohamed Faouzi Atig (Uppsala University)
Nicolas Basset  (Verimag, University of Grenoble Alpes)
Marie Duflot-Kremer (LORIA, Nancy, France)
Nathanaël Fijalkow (CNRS, LaBRI, University of Bordeaux)
Pierre  Ganty    (IMDEA Software Institute)
Matthias Heizmann (University of Freiburg)
Radu Iosif (Verimag, CNRS, University of Grenoble Alpes)
Barbara Jobstmann (EPFL, Lausanne, Switzerland)
Stefan  Kiefer    (University of Oxford)
Nicola  Paoletti    (University of London)
Pierre-Alain Reynier    (Aix-Marseille Université)
Philipp Ruemmer    (Uppsala University)
Ocan Sankur    (CNRS, IRISA, Rennes)
Sylvain Schmitz    (Université de Paris)
Tomas Vojnar (Brno University of Technology)

Steering committee

Nathalie Bertrand (Inria Rennes-Bretagne Atlantique, Rennes, France)​
Benedikt Bollig (LSV, CNRS, ENS Paris-Saclay)
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)​​