<div dir="ltr">=========================================================<br><br>CALL FOR PAPERS:  MFPS XXXVII<br><br><a href="https://www.coalg.org/calco-mfps-2021/mfps">https://www.coalg.org/calco-mfps-2021/mfps</a><br><br>37th Conference on Mathematical Foundations of Programming Semantics<br><br>August 30 - September 2, 2021<br><br>Online or hybrid, from Salzburg<br><br>Co-located with CALCO 2021<br><br>==========================================================<br><br>Paper submission:      June 14, 2021  AoE <font color="#ff0000">(NEW)</font><br><br>Author notification:     August 2, 2021<br><br>Final version due:       August 16, 2021<br><br>==========================================================<br><br>We are delighted to announce the 37th Conference on the<br>Mathematical Foundations of Programming Semantics (MFPS<br>2021). MFPS 2021 will be hosted by the University of<br>Salzburg, Austria, and will take place on  August 30 -<br>September 2, 2021. Due to the pandemic situation, the<br>conference will take place online. Should the situation<br>improve and allow some international travel, we will do our<br>best to organize a small component of the meeting in<br>Salzburg for those participants who wish to attend the<br>meeting in person.<br><br>MFPS conferences are dedicated to the areas of mathematics,<br>logic, and computer science that are related to models of<br>computation in general, and to semantics of programming<br>languages in particular. This is a forum where researchers<br>in mathematics and computer science can meet and exchange<br>ideas. The participation of researchers in neighbouring<br>areas is strongly encouraged.<br><br>Topics include, but are not limited to, the following:<br>bio-computation; concurrent qualitative and quantitative<br>distributed systems; constructive mathematics;  domain<br>theory and categorical models; formal languages; formal<br>methods; game semantics; lambda calculus; logic;<br>probabilistic systems; process calculi; programming-language<br>theory; quantum computation; security; topological models;<br>type systems; type theory. We also welcome contributions<br>that address applications of semantics to novel areas such<br>as complex systems, markets, and networks, for example.<br><br>MFPS 2021 is co-located with the 9th Conference on Algebra<br>and Coalgebra in Computer Science (CALCO 2021).<br><br>-------------------------------------------------<br><br>INVITED SPEAKERS:<br><br>Eugenia Cheng, School of the Art Institute of Chicago (joint with CALCO) <br>Amina Doumane, ENS Lyon <br>Shin-Ya Katsumata, NII Tokyo<br>Krishna S., IIT Bombay<br><br>INVITED TUTORIAL SPEAKERS (SPECIAL SESSIONS):<br><br>Azadeh Farzan, University of Toronto <br>(Termination Analysis and Synthesis -- joint with CALCO) <br><br>Sam Staton, University of Oxford<br>(Probabilistic Programming Semantics)<br><br>Paul André Melliès, IRIF Université Paris Denis Diderot <br>(Categorical Type Theory) <br><br>Filippo Bonchi, University of Pisa and Pawel Sobocinski, Taltech <br>(String Diagrams) <br><br>-------------------------------------------------<br><br>PROGRAMME COMMITTEE:<br><br>Sandra Alves, University of Porto, Portugal <br>Henning Basold, University of Leiden, Netherlands <br>Andrej Bauer, University of Ljubljana, Slovenia <br>Stephen Brookes, Carnegie Mellon University, USA <br>Corina Cirstea, University of Southampton, UK <br>Fabio Gadducci, University of Pisa, Italy <br>Ichiro Hasuo, NII, Japan <br>Helle Hvid Hansen, University of Groningen, Netherlands <br>Justin Hsu, University of Wisconsin-Madison, USA<br>Patricia Johann, Appalachian State University, USA <br>Achim Jung, University of Birmingham, UK <br>Sandra Kiefer, RWTH Aachen University, Germany / University of Warsaw, Poland<br>Barbara König, University of Duisburg-Essen, Germany<br>Catherine Meadows, NRL, USA <br>Michael Mislove, Tulane University, USA <br>Joel Ouaknine, Max Planck Institute for Software Systems, Germany <br>Prakash Panangaden, McGill University Montreal, Canada <br>Daniela Petrisan, IRIF, Paris 7, France <br>Tatjana Petrov, University of Konstanz, Germany<br>Jurriaan Rot, Radboud University Nijmegen, Netherlands<br>Mehrnoosh Sadrzadeh, UCL, UK <br>Lutz Schröder, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany<br>Ana Sokolova, University of Salzburg, Austria (PC chair)<br>Valeria Vignudelli, CNRS/ENS Lyon, France<br><br>-------------------------------------------------<br><br>MFPS ORGANIZERS:<br><br>Andrej Bauer, University of Ljubljana, Slovenia <br>Stephen Brookes, Carnegie Mellon University, USA <br>Achim Jung, University of Birmingham, UK <br>Catherine Meadows, NRL, USA<br>Michael Mislove, Tulane University, USA <br>Joel Ouaknine, Max Planck Institute for Software Systems, Germany <br>Prakash Panangaden, McGill University Montreal, Canada<br><br>-------------------------------------------------<br><br>SUBMISSIONS<br><br>Submissions via<br><a href="https://easychair.org/conferences/?conf=mfps37">https://easychair.org/conferences/?conf=mfps37</a><br><br>-------------------------------------------------<br><br>PROCEEDINGS<br><br>Elsevier ceased publication of ENTCS at the end of 2020.<br>ENTCS was the traditional publication venue for MFPS.<br>Negotiations are underway to establish a new arrangement for<br>MFPS proceedings publication going forward. The new venue<br>will be announced as soon as arrangements are complete. We<br>anticipate the formal proceedings of this year’s conference<br>will be published after the meeting, as has been the<br>tradition for MFPS for many years. A preliminary proceedings<br>will be distributed to participants at the meeting. Please<br>use the old ENTCS style for the submission, as announced on<br>the webpage. <br><br>-------------------------------------------------<br><br>CONTACT<br><br>For any further information about MFPS 2021, please contact<br>Ana Sokolova (<a href="mailto:anas@cs.uni-salzburg.at">anas@cs.uni-salzburg.at</a>)</div>