<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 style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">1st Call for Participation: 15th Summer School on Modelling and Verification of Parallel Processes (MOVEP2022)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">WHERE? Aalborg University, Aalborg, Denmark</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">WHEN? June 13 - 17, 2022</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">WEBSITE: https://movep2022.cs.aau.dk/</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">==</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">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.</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">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.</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">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.</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">==</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">Speakers</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">==</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Giovanni Bacci (Aalborg University, Denmark): From Bisimulations to Metrics via Couplings</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* David Baelde (ENS Rennes & IRISA): Formal Proofs of Cryptographic Protocols with Squirrel</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Christel Baier (Technische Universität Dresden, Germany): From Verification to Causality-based Explications</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Wojciech Czerwiński (University of Warsaw, Poland): The Reachability Problem for Vector Addition Systems</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Bartek Klin (Oxford University, United Kingdom): Computation Theory over Sets with Atoms  </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Laura Kovacs (Vienna University of Technology, Austria): First-Order Theorem Proving and Vampire</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Anca Muscholl (LaBRI & Université Bordeaux, France): A View on String Transducers</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Nir Piterman (Chalmers University of Technology, Sweden): Reactive Synthesis</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Amaury Pouly (IRIF, France): Linear Dynamical Systems: Reachability and Invariant Generation</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Renaud Vilmart (LMF & Inria): How to Verify Quantum Processes</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">==</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">Student Session</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">==</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">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:</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">https://easychair.org/conferences/?conf=movep2022</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">Important Dates</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">Abstract submission: May 1st, 2022</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">Notification of acceptance: May 14, 2022</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">==</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">Fees and Registration</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">==</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">The fees include coffee and lunch breaks as well as the conference dinner.</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">Early-bird   350 Euro (before May 1st, 2022)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">Late         <span lang="en-US">   </span>400 Euro</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">https://movep2022.cs.aau.dk/registration.html</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">==</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">Committees</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">==</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">Organising committee</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Peter G. Jensen (Aalborg University, Denmark)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Florian Lorber (Aalborg University, Denmark)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Martin Zimmermann (chair, Aalborg University, Denmark)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">Program committee</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Saddek Bensalem (Universirsité Grenoble Alpes, France)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Patricia Bouyer-DeCitre (LMF, CNRS & ENS Paris-Saclay, France)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Emmanuel Filiot (Université libre de Bruxelles, Belgium)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Dana Fisman (Ben-Gurion University, Israel)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Radu Grosu (Vienna University of Technology, Austria)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Holger Hermanns (Saarland University, Germany)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Nils Jansen (Radboud University Nijmegen, Netherlands)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Marcin Jurdzinski (University of Warwick, United Kingdom)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Steve Kremer (Inria Nancy - Grand Est, France)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* K Narayan Kumar (Chennai Mathematical Institute, India)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Denis Kuperberg (ENS Lyon, France)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Anca Muscholl (LaBRI & Université Bordeaux, France)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Paritosh K. Pandya (IIT Bombay, India)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Gabrielle Puppis (Udine University, Italy)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Nir Piterman (Chalmers University of Technology, Sweden)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Kristin Rozier (Iowa State University, United States)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* César Sánchez (IMDEA Software Institute, Spain)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Szymon Torunczyk (University of Warsaw, Poland)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Martin Zimmermann (chair, Aalborg University, Denmark)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">Steering committee</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;"> </span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Nathalie Bertrand (INRIA Rennes, France)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Benedikt Bollig (LMF, CNRS & ENS Paris-Saclay, France)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Radu Iosif (CNRS & Verimag, France)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Didier Lime (Ecole centrale de Nantes, France)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Christof Löding (RWTH Aachen University, Germany)</span></font></div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; margin: 0px;">
<font size="2" style="font-family: Calibri, sans-serif, serif, EmojiFont;"><span style="font-size: 11pt;">* Nicolas Markey (CNRS & INRIA & Univ. Rennes 1, France)</span></font></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>