[ 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/ ================================================ 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)