
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2">

<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>

</head>

<body dir="ltr">

<div id="divtagdefaultwrapper" dir="ltr" style="font-size: 12pt; color: rgb(0, 0, 0); font-family: Calibri, Helvetica, sans-serif, Helvetica, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols;">

<p></p>

<div>IMPORTANT DATES:</div>

<div><br>

</div>

<div>- Early-bird rate ends April 30th</div>

<div>- Submission deadline for student presentations: May 1st</div>

<div><br>

</div>

<div><br>

</div>

<div>15th Summer School on Modelling and Verification of Parallel Processes (MOVEP)</div>

<div><br>

</div>

<div>Aalborg University, Aalborg, Denmark</div>

<div><br>

</div>

<div>June 13 - 17, 2022</div>

<div><br>

</div>

<div>https://movep2022.cs.aau.dk/</div>

<div><br>

</div>

<div>MOVEP is a five-day summer school on modelling and <span style="font-size: 12pt;">verification of infinite state systems. It aims to bring </span><span style="font-size: 12pt;">together researchers and students working in the </span><span style="font-size: 12pt;">fields

 of control and verification of concurrent and </span><span style="font-size: 12pt;">reactive systems.</span></div>

<div><br>

</div>

<div>MOVEP 2022 will consist of ten invited tutorials. <span style="font-size: 12pt;">In addition, there will be special sessions that </span><span style="font-size: 12pt;">allow PhD students to present their on-going research </span><span style="font-size: 12pt;">(each

 talk will last around 20 minutes). Extended </span><span style="font-size: 12pt;">abstracts (1-2 pages) of these presentations </span><span style="font-size: 12pt;">will be published in informal proceedings.</span></div>

<div><br>

</div>

<div>==</div>

<div>Speakers</div>

<div>==</div>

<div><br>

</div>

<div></div>

<div>Giovanni Bacci (Aalborg University, Denmark): From Bisimulations to Metrics via Couplings<br>

<br>

</div>

<div>David Baelde (ENS Rennes & IRISA): Formal Proofs of Cryptographic Protocols with Squirrel<br>

<br>

</div>

<div>Christel Baier (Technische Universität Dresden, Germany): >From Verification to Causality-based Explications<br>

<br>

</div>

<div>Wojciech Czerwiñski (University of Warsaw, Poland): The Reachability Problem for Vector Addition Systems<br>

<br>

</div>

<div>Bartek Klin (Oxford University, United Kingdom): Computation Theory over Sets with Atoms<br>

<br>

</div>

<div>Laura Kovacs (Vienna University of Technology, Austria): First-Order Theorem Proving and Vampire<br>

<br>

</div>

<div>Anca Muscholl (LaBRI & Université Bordeaux, France): A View on String Transducers<br>

<br>

</div>

<div>Nir Piterman (Chalmers University of Technology, Sweden): Reactive Synthesis<br>

<br>

</div>

<div>Amaury Pouly (IRIF, France): Linear Dynamical Systems: Reachability and Invariant Generation<br>

<br>

</div>

<div>Renaud Vilmart (LMF & Inria): How to Verify Quantum Processes</div>

<div><br>

</div>

<div>==</div>

<div>Registration</div>

<div>==</div>

<div><br>

</div>

<div>Please visit <a href="https://urldefense.com/v3/__https://movep2022.cs.aau.dk/registration.html__;!!IBzWLUs!T1iaM-kleL1OiiRi4euOaNIVdJjEZ_YRgCsJSrOeNHfvk0Xn2rGt_l1oFs7jfXH7ywNVPH7wHDhVuBe60ceZODTxqUg$" class="OWAAutoLink" id="LPlnk776875" previewremoved="true">https://movep2022.cs.aau.dk/registration.html</a><br>

</div>

<div><br>

</div>

<div>==</div>

<div>Committees</div>

<div>==</div>

<div><br>

</div>

<div>Organising committee</div>

<div><br>

</div>

<div>* Peter G. Jensen (Aalborg University, Denmark)</div>

<div>* Florian Lorber (Aalborg University, Denmark)</div>

<div>* Martin Zimmermann (chair, Aalborg University, Denmark)</div>

<div><br>

</div>

<div>Program committee</div>

<div><br>

</div>

<div>* Saddek Bensalem (Université Grenoble Alpes, France)</div>

<div>* Patricia Bouyer-DeCitre (LMF, CNRS & ENS Paris-Saclay, France)</div>

<div>* Emmanuel Filiot (Université libre de Bruxelles, Belgium)</div>

<div>* Dana Fisman (Ben-Gurion University, Israel)</div>

<div>* Radu Grosu (Vienna University of Technology, Austria)</div>

<div>* Holger Hermanns (Saarland University, Germany)</div>

<div>* Nils Jansen (Radboud University Nijmegen, Netherlands)</div>

<div>* Marcin Jurdzinski (University of Warwick, United Kingdom)</div>

<div>* Steve Kremer (Inria Nancy - Grand Est, France)</div>

<div>* K Narayan Kumar (Chennai Mathematical Institute, India)</div>

<div>* Denis Kuperberg (ENS Lyon, France)</div>

<div>* Anca Muscholl (LaBRI & Université Bordeaux, France)</div>

<div>* Paritosh K. Pandya (IIT Bombay, India)</div>

<div>* Gabrielle Puppis (Udine University, Italy)</div>

<div>* Nir Piterman (Chalmers University of Technology, Sweden)</div>

<div>* Kristin Rozier (Iowa State University, United States)</div>

<div>* César Sánchez (IMDEA Software Institute, Spain)</div>

<div>* Szymon Torunczyk (University of Warsaw, Poland)</div>

<div>* Martin Zimmermann (chair, Aalborg University, Denmark)</div>

<div><br>

</div>

<div>Steering committee</div>

<div><br>

</div>

<div>* Nathalie Bertrand (INRIA Rennes, France)</div>

<div>* Benedikt Bollig (LMF, CNRS & ENS Paris-Saclay, France)</div>

<div>* Radu Iosif (CNRS & Verimag, France)</div>

<div>* Didier Lime (Ecole centrale de Nantes, France)</div>

<div>* Christof Löding (RWTH Aachen University, Germany)</div>

<div>* Nicolas Markey (CNRS & INRIA & Univ. Rennes 1, France)</div>

<p></p>

<div id="Signature">

<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:rgb(0,0,0); font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols">

<p></p>

</div>

</div>

</div>

</body>

</html>