[TYPES/announce] MOVEP 2020 Summer School

Radu Iosif Radu.Iosif at univ-grenoble-alpes.fr
Tue Jan 28 03:59:30 EST 2020


================================================
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)
* DMITRY CHISTIKOV (University of Warwick, United Kingdom)
* THAO DANG (Verimag and CNRS)
* JAVIER ESPARZA (TU München)
* ANTHONY LIN (TU Kaiserslautern)
* DEJAN NICKOVIC (AIT Vienna)
* JEAN-FRANCOIS RASKIN (Université Libre de Bruxelles)
* ANDREW REYNOLDS (University of Iowa)
* ALEXANDRA SILVA (University College London)
* JAMES WORELL (University of Oxford)

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

Early registration:	 March 1st 2020
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)​​





More information about the Types-announce mailing list