[TYPES/announce] MOVEP 2020 Summer School -- Call for Student Presentations

Radu Iosif Radu.Iosif at univ-grenoble-alpes.fr
Wed Dec 18 07:55:33 EST 2019


================================================
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 2018 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 for Student Presentations
=========================================

Submission of abstracts: May 1st 2020 (AoE)
Notification: 		 May 15th 2020 (AoE)

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

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

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