[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
================================================
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/
<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)
=========================================
Early registration: March 15th 2020 (** extended **)
Submission of abstracts: May 1st 2020
Notification: May 15th 2020
Submission link: https://easychair.org/conferences/?conf=movep2020
<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)
