[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
1st Call for Participation: 15th Summer School on Modelling and Verification of
Parallel Processes (MOVEP2022)
WHERE? Aalborg University, Aalborg, Denmark
WHEN? June 13 - 17, 2022
WEBSITE:
https://urldefense.com/v3/__https://movep2022.cs.aau.dk/__;!!IBzWLUs!EsASF06mhsWxfJDtCPl76RLXHUWgosyrNHNsWlTA272kwHksmiR7ZD5PUciLnv6CJzK13wJClE1sCw$
==
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.
The organisation committee is closely monitoring the COVID situation.
Currently, we are planning for an in-person school in Aalborg with the
possibility for remote participation for those that cannot attend in person.
Should it become necessary, the school will be held virtually.
==
Speakers
==
* Giovanni Bacci (Aalborg University, Denmark): From Bisimulations to Metrics
via Couplings
* David Baelde (ENS Rennes & IRISA): Formal Proofs of Cryptographic Protocols
with Squirrel
* Christel Baier (Technische Universität Dresden, Germany): From Verification
to Causality-based Explications
* Wojciech Czerwiński (University of Warsaw, Poland): The Reachability Problem
for Vector Addition Systems
* Bartek Klin (Oxford University, United Kingdom): Computation Theory over Sets
with Atoms
* Laura Kovacs (Vienna University of Technology, Austria): First-Order Theorem
Proving and Vampire
* Anca Muscholl (LaBRI & Université Bordeaux, France): A View on String
Transducers
* Nir Piterman (Chalmers University of Technology, Sweden): Reactive Synthesis
* Amaury Pouly (IRIF, France): Linear Dynamical Systems: Reachability and
Invariant Generation
* Renaud Vilmart (LMF & Inria): How to Verify Quantum Processes
==
Student Session
==
We encourage participants to present their (ongoing or published) work. Talks
will last around 20 minutes. 1-2 page abstracts (no particular format is
required) should be submitted via easychair:
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=movep2022__;!!IBzWLUs!EsASF06mhsWxfJDtCPl76RLXHUWgosyrNHNsWlTA272kwHksmiR7ZD5PUciLnv6CJzK13wKQmJgpiA$
Important Dates
Abstract submission: May 1st, 2022
Notification of acceptance: May 14, 2022
==
Fees and Registration
==
The fees include coffee and lunch breaks as well as the conference dinner.
Early-bird 350 Euro (before May 1st, 2022)
Late 400 Euro
https://urldefense.com/v3/__https://movep2022.cs.aau.dk/registration.html__;!!IBzWLUs!EsASF06mhsWxfJDtCPl76RLXHUWgosyrNHNsWlTA272kwHksmiR7ZD5PUciLnv6CJzK13wIOFYpJGw$
==
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)
