<!DOCTYPE html><html><head><title></title><style type="text/css">p.MsoNormal,p.MsoNoSpacing{margin:0}</style></head><body><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" id="docs-internal-guid-e2c5a630-7fff-4f5a-b4be-ca7bac1b0848"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">=========================================================</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">CALL FOR PAPERS:  MFPS XXXVIII (MFPS 2022)</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">38th Conference on Mathematical Foundations of Programming Semantics</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">July 11-13, 2022</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Hybrid, from Ithaca, NY, USA</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;"><a href="https://urldefense.com/v3/__https://www.cs.cornell.edu/mfps-2022/__;!!IBzWLUs!AESa8LpVMtsYaATjO9svwu5Xl-UxG4xsdCMiwsvkhC4i3wuhN08YNB3RJafmGmgd2d4sMsGj5STdwA$">https://www.cs.cornell.edu/mfps-2022/</a></span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">==========================================================</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">IMPORTANT DATES (anywhere on earth):</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Paper submission:   </span></span></span><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">    </span></span></span><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">April 29, 2022</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Author notification: </span></span></span><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">    </span></span></span><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">June 10, 2022</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Final version due:   </span></span></span><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">    </span></span></span><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">June 24, 2022</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">==========================================================</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">We are delighted to announce the 38th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2022).  While the pandemic situation is uncertain, we plan to hold a hybrid conference with the in-person event at Cornell University in Ithaca, New York.</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged.</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory; quantum computation; security; topological models; logic; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example.</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">-------------------------------------------------</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">INVITED SPEAKERS:</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Barbara König, University of Duisburg--Essen</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Anca Muscholl, Université Bordeaux</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Daniela Petrisan, Université Paris Cité</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Frank Pfenning, Carnegie Mellon University</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">-------------------------------------------------</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">SPECIAL SESSIONS:</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">1. Species of Structures in Algebra, Computation, and Logic</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Organizer: Marcelo Fiore, University of Cambridge</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Organizer: Nicola Gambino, University of Leeds</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">2. Relational Verification and Formal Reasoning</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Organizer: Marco Gaboardi, Boston University</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">3. Algebraic Effects</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Organizer: Ningning Xie, University of Cambridge</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">-------------------------------------------------</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">PROGRAM COMMITTEE:</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Sandra Alves, University of Porto</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Arthur Azevedo de Amorim, Boston University</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Lars Birkedal, Aarhus University</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Steve Brookes, Carnegie Mellon University</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Jacques Carette, McMaster University</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Pierre Clairambault, CNRS and ENS Lyon</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Jérémy Dubut, National Institute of Informatics, Tokyo</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Daniel Gratzer, Aarhus University</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Amar Hadzihasanovic, Tallinn University of Technology</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Masahito Hasegawa, Kyoto University</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Favonia, University of Minnesota</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Justin Hsu, Cornell University (co-chair)</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Achim Jung, University of Birmingham</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Delia Kesner, Université Paris-Diderot</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Isabella Mastroeni, Università di Verona</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Michael Mislove, Tulane University</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Renato Neves, Minho University</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Max New, University of Michigan</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Krishna S, IIT Bombay</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Taro Sekiyama, National Institute of Informatics, Tokyo</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Alexandra Silva, Cornell University</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Sam Staton, University of Oxford</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Christine Tasson, Sorbonne Université (co-chair)</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Maaike Zwart, IT University of Copenhagen</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">-------------------------------------------------</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">MFPS ORGANIZERS:</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Andrej Bauer, University of Ljubljana</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Lars Birkedal, Aarhus University</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Stephen Brookes, Carnegie Mellon University</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Justin Hsu, Cornell University</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Achim Jung, University of Birmingham</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Catherine Meadows, Naval Research Laboratory</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Michael Mislove, Tulane University</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Joël Ouaknine, Max Planck Institute for Software Systems</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Prakash Panangaden, McGill University</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Alexandra Silva, Cornell University</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Sam Staton, University of Oxford</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Christine Tasson, Sorbonne Université</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">-------------------------------------------------</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">LOCAL ORGANIZERS:</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Dexter Kozen, Cornell University</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Alexandra Silva, Cornell University</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">-------------------------------------------------</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">SUBMISSION INSTRUCTIONS:</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">Submissions should be made through EasyChair</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">(<<a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=mfps2022__;!!IBzWLUs!AESa8LpVMtsYaATjO9svwu5Xl-UxG4xsdCMiwsvkhC4i3wuhN08YNB3RJafmGmgd2d4sMsF1lkf8MA$">https://easychair.org/conferences/?conf=mfps2022</a>>). Papers can be at most **15</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">pages** long, excluding bibliography, and should be prepared using the MFPS</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">macros (<<a href="https://urldefense.com/v3/__https://mfpsconf.org/?page_id=309__;!!IBzWLUs!AESa8LpVMtsYaATjO9svwu5Xl-UxG4xsdCMiwsvkhC4i3wuhN08YNB3RJafmGmgd2d4sMsHdSLwO9w$">https://mfpsconf.org/?page_id=309</a>>).</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">-------------------------------------------------</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">PROCEEDINGS:</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">A preliminary version will be distributed at the meeting. Final proceedings</span></span></span><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">will be published in an open access journal after the meeting.</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">-------------------------------------------------</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">CONTACT:</span></span></span><br></p><div><br></div><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:rgb(0, 0, 0);background-color:transparent;font-weight:400;font-style:normal;font-variant-caps:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-position:normal;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:currentcolor;text-decoration-thickness:auto;vertical-align:baseline;white-space:pre-wrap;"><span class="font" style="font-family:Arial;"><span class="size" style="font-size:11pt;">For any further information about MFPS 2022, please contact the co-chairs: Justin Hsu (<a href="mailto:email@justinh.su">email@justinh.su</a>) and Christine Tasson (<a href="mailto:christine.tasson@lip6.fr">christine.tasson@lip6.fr</a>).</span></span></span><br></p><div><br></div></body></html>