
<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://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmovep2022.cs.aau.dk%2Fregistration.html&data=05%7C01%7Cfm-announcements%40lists.nasa.gov%7C5e7f2b9cff124e57c1a108da260db71c%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637864138181447521%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000%7C%7C%7C&sdata=teY9ECCb%2B%2FHoHIxkDFPDIxFDMLoGgGO5NQAHRhsoykU%3D&reserved=0" originalSrc="https://movep2022.cs.aau.dk/registration.html" shash="qtkWHX8jAweyRbWvj+4xFX0vTzegSR2N5ZVhsyzv61NK9hGtEW8Q+Pg/tuPkV0vqC6N1L0hcvl5wZHSNn+5nUtEOcE8067QDdjtyhi3/wPJE5T5bIGE7MMjfopZoGIeYjtSaj/ygLzdJico2kD57mNQ80+zSwMX2aRsj48AZ8Ww=" 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>