<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">

<head>

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

<meta name="Generator" content="Microsoft Word 15 (filtered medium)">

<style><!--

/* Font Definitions */

@font-face

        {font-family:"Cambria Math";

        panose-1:2 4 5 3 5 4 6 3 2 4;}

@font-face

        {font-family:Calibri;

        panose-1:2 15 5 2 2 2 4 3 2 4;}

/* Style Definitions */

p.MsoNormal, li.MsoNormal, div.MsoNormal

        {margin:0cm;

        font-size:10.0pt;

        font-family:"Calibri",sans-serif;}

a:link, span.MsoHyperlink

        {mso-style-priority:99;

        color:#0563C1;

        text-decoration:underline;}

.MsoChpDefault

        {mso-style-type:export-only;

        font-size:10.0pt;}

@page WordSection1

        {size:612.0pt 792.0pt;

        margin:72.0pt 72.0pt 72.0pt 72.0pt;}

div.WordSection1

        {page:WordSection1;}

--></style>

</head>

<body lang="EN-GB" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">

<div class="WordSection1">

<p class="MsoNormal"><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p> </o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">=========================================================</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">CALL FOR PAPERS:  MFPS XXXIX (MFPS 2023)</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">39th Conference on Mathematical Foundations of Programming Semantics</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">June 20-23, 2023 in Bloomington, IN, USA</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">Joint with CALCO</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<a href="https://urldefense.com/v3/__https://coalg.org/calco-mfps-2023/mfps/__;!!IBzWLUs!SZ0Ldlr1HPIesPFL77Z7-tC1bEBD-aqIsg23ZjUUWVGMlwxKncWrvsb2YnZrlHcWDyBukldpohkvroOfVAj_sgPhz-g4R1PCZO4$"><span style="font-family:"Arial",sans-serif;color:#1155CC">https://coalg.org/calco-mfps-2023/mfps/</span></a></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">==========================================================</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">IMPORTANT DATES (anywhere on earth):</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Abstract Submission: March 24, 2023</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Paper Submission: March 31, 2023</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Notification: May 10, 2023</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Pre-proceedings : May 24, 2023</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Final (post-proceeding) versions : Autumn 2023</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">==========================================================</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">We are delighted to announce the 39th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2023).  It will take place at Indiana University Bloomington, with an option for remote

 participation.</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">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></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">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. </span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">-------------------------------------------------</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">INVITED SPEAKERS:</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">Robert Harper, Carnegie Mellon University (Joint with CALCO)</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">Assia Mahboubi, Inria  (Joint with CALCO)</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">Azalea Raad, Imperial College London</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">Alex Simpson, University of Ljubljana</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">-------------------------------------------------</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">SPECIAL SESSIONS:</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">TO BE ANNOUNCED</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">-------------------------------------------------</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">PROGRAM COMMITTEE:</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Henning Basold, LIACS, Leiden University</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Andrej Bauer, University of Ljubljana</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Robin Cockett, University of Calgary</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Liron Cohen, Ben-Gurion University</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Adrian Francalanza, University of Malta</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Francesco Gavazzo, University of Pisa</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Sergey Goncharov, Dept. of Comput.

</span><span lang="FR" style="font-family:"Arial",sans-serif;color:black">Sci., FAU Erlangen-N�rnberg</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span lang="FR" style="font-family:"Arial",sans-serif;color:black">    Tom Hirschowitz, Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span lang="FR" style="font-family:"Arial",sans-serif;color:black">    Justin Hsu, Cornell University</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span lang="FR" style="font-family:"Arial",sans-serif;color:black">    Guilhem Jaber, Universit� de Nantes</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span lang="FR" style="font-family:"Arial",sans-serif;color:black">    </span><span style="font-family:"Arial",sans-serif;color:black">Achim Jung, University of Birmingham</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Marie Kerjean, CNRS, LIPN, Universit� Sorbonne Paris Nord (co-chair)</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Vasileios Koutavas, Trinity College Dublin</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Neelakantan Krishnaswami, University of Cambridge</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Paul Blain Levy, University of Birmingham (co-chair)</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Maria Emilia Maietti, University of Padua</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Samuel Mimram, �cole Polytechnique</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Alexandre Miquel, University of the Republic (Montevideo)</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Michael Mislove, Tulane University</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Koko Muroya, RIMS, Kyoto University</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Rasmus Ejlers M�gelberg, IT University of Copenhagen</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Max New, University of Michigan</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Paige North, Utrecht University</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Filip Sieczkowski, Heriot-Watt University</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Ana Sokolova, University of Salzburg</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Sam Staton, University of Oxford</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">    Christine Tasson, Sorbonne University</span></p>

<p class="MsoNormal" style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:12.0pt;margin-left:36.0pt">

<span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">-------------------------------------------------</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">MFPS ORGANIZERS:</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">Andrej Bauer, University of Ljubljana</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">Lars Birkedal, Aarhus University</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">Stephen Brookes, Carnegie Mellon University</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">Justin Hsu, Cornell University</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">Achim Jung, University of Birmingham</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">Catherine Meadows, Naval Research Laboratory</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">Michael Mislove, Tulane University</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">Jo�l Ouaknine, Max Planck Institute for Software Systems</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">Prakash Panangaden, McGill University</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">Alexandra Silva, Cornell University</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">Sam Staton, University of Oxford</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">Christine Tasson, Sorbonne Universit�</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">-------------------------------------------------</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">LOCAL ORGANIZER:</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">Larry Moss, Indiana University</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">-------------------------------------------------</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">SUBMISSION INSTRUCTIONS:</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">Submissions should be made through EasyChair</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">(</span><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=mfps2023__;!!IBzWLUs!SZ0Ldlr1HPIesPFL77Z7-tC1bEBD-aqIsg23ZjUUWVGMlwxKncWrvsb2YnZrlHcWDyBukldpohkvroOfVAj_sgPhz-g4ngO75nU$"><span style="font-family:"Arial",sans-serif">https://easychair.org/conferences/?conf=mfps2023</span></a><span style="font-family:"Arial",sans-serif;color:black">).

 Papers can be at most **15</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">pages** long, excluding bibliography, and should be prepared using the MFPS</span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">macros (</span><a href="https://urldefense.com/v3/__https://mfpsconf.org/?page_id=309__;!!IBzWLUs!SZ0Ldlr1HPIesPFL77Z7-tC1bEBD-aqIsg23ZjUUWVGMlwxKncWrvsb2YnZrlHcWDyBukldpohkvroOfVAj_sgPhz-g4oYDHocM$"><span style="font-family:"Arial",sans-serif">https://mfpsconf.org/?page_id=309</span></a><span style="font-family:"Arial",sans-serif;color:black">).</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">-------------------------------------------------</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">PROCEEDINGS:</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">A preliminary version will be distributed at the meeting. Final proceedings will be published in

<i>Electronic Notes in Theoretical Informatics and Computer Science (ENTICS). </i>

This new open-access series is hosted by Episciences.org as an overlay for papers published by the CORR arXiv or HAL.</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">-------------------------------------------------</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">CONTACT:</span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-US"> </span><span style="font-size:11.0pt;mso-fareast-language:EN-US"><o:p></o:p></span></p>

<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt">

<span style="font-family:"Arial",sans-serif;color:black">For any further information about MFPS 2023, please contact the co-chairs: Marie Kerjean (</span><a href="mailto:kerjean@lipn.fr"><span style="font-family:"Arial",sans-serif;color:#1155CC">kerjean@lipn.fr</span></a><span style="font-family:"Arial",sans-serif;color:black">)

 and Paul Levy (</span><a href="mailto:P.B.Levy@bham.ac.uk"><span style="font-family:"Arial",sans-serif;color:#1155CC">P.B.Levy@bham.ac.uk</span></a><span style="font-family:"Arial",sans-serif;color:black">). </span></p>

<p class="MsoNormal" style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:12.0pt;margin-left:36.0pt">

<span style="font-size:11.0pt;mso-fareast-language:EN-US"> <o:p></o:p></span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;mso-fareast-language:EN-US"> <o:p></o:p></span></p>

<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt;mso-fareast-language:EN-US"> <o:p></o:p></span></p>

</div>

</body>

</html>