[DMANET] MOVEP2022: Announcement

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

Aalborg University, Aalborg, Denmark

June 13 - 17, 2022

https://movep2022.cs.aau.dk/

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 2022 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 (1-2 pages) of these presentations
will be published in informal proceedings.

==
Confirmed Speakers
==

* Anca Muscholl (LaBRI & Université Bordeaux, France)
* Amaury Pouly (IRIF, France)
* Nir Piterman (Chalmers University of Technology, Sweden)
* Christel Baier (Technische Universität Dresden, Germany)
* Laura Kovacs (Vienna University of Technology, Austria)
* Wojcziech Czerwinski (University of Warsaw, Poland)
* Giovanni Bacci (Aalborg University, Denmark)
* Bartek Klin (Oxford University, United Kingdom)
* Renaud Vilmart (LMF & Inria)
* David Baelde (ENS Rennes & IRISA)


==
Registration
==

Registration will open in January 2022, abstract submission for the student session will be in early spring 2022.

==
Committees
==

Organising committee

* Peter G. Jensen (Aalborg University, Denmark)
* Florian Lorber (Aalborg University, Denmark)
* Martin Zimmermann (chair, Aalborg University, Denmark)

Program committee

* Saddek Bensalem (Universirsité Grenoble Alpes, France)
* Patricia Bouyer-DeCitre (LMF, CNRS & ENS Paris-Saclay, France)
* Emmanuel Filiot (Université libre de Bruxelles, Belgium)
* Dana Fisman (Ben-Gurion University, Israel)
* Radu Grosu (Vienna University of Technology, Austria)
* Holger Hermanns (Saarland University, Germany)
* Nils Jansen (Radboud University Nijmegen, Netherlands)
* Marcin Jurdzinski (University of Warwick, United Kingdom)
* Steve Kremer (Inria Nancy - Grand Est, France)
* K Narayan Kumar (Chennai Mathematical Institute, India)
* Denis Kuperberg (ENS Lyon, France)
* Anca Muscholl (LaBRI & Université Bordeaux, France)
* Paritosh K. Pandya (IIT Bombay, India)
* Gabrielle Puppis (Udine University, Italy)
* Nir Piterman (Chalmers University of Technology, Sweden)
* Kristin Rozier (Iowa State University, United States)
* César Sánchez (IMDEA Software Institute, Spain)
* Szymon Torunczyk (University of Warsaw, Poland)
* Martin Zimmermann (chair, Aalborg University, Denmark)

Steering committee

* Nathalie Bertrand (INRIA Rennes, France)
* Benedikt Bollig (LMF, CNRS & ENS Paris-Saclay, France)
* Radu Iosif (CNRS & Verimag, France)
* Didier Lime (Ecole centrale de Nantes, France)
* Christof Löding (RWTH Aachen University, Germany)
* Nicolas Markey (CNRS & INRIA & Univ. Rennes 1, France)

--
Martin Zimmermann
Department of Computer Science
Aalborg University
+45 9940 8770
https://people.cs.aau.dk/~mzi/<https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fpeople.cs.aau.dk%2F~mzi%2F&data=04%7C01%7Childe%40di.ku.dk%7C8f659c52449e4f56418f08d9ba587db2%7Ca3927f91cda14696af898c9f1ceffa91%7C0%7C0%7C637745711506731547%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=DVG%2F%2FvKLkM%2F3ptJk25LkFh3YwKvVVr9BTL9vSoXbMx0%3D&reserved=0>


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************