<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div># MFPS XLII: Mathematical Foundations of Programming Semantics</div>
<div><br>
</div>
<div><a href="https://urldefense.com/v3/__https://ul-fmf.github.io/mfps-sstt-2026/__;!!IBzWLUs!T4k6k-eS68PF8Fde7QKyYZwWkakQO24JQdKL6Msc-f5UKIcbecScLJzjN7Vj3nm0rv6GcydeyGe1jWMMMtBih7UXwBTuK48bzQ$">https://ul-fmf.github.io/mfps-sstt-2026/</a> </div>
<div><br>
</div>
<div>## CALL FOR PAPERS</div>
<div><br>
</div>
<div>We are delighted to announce the 42nd Conference on the Mathematical Foundations</div>
<div>of Programming Semantics (MFPS XLII). It will take place at the Faculty of</div>
<div>Mathematics and Physics, University of Ljubljana in Ljubljana, Slovenia, from</div>
<div>June 1-3, 2026, where it will be colocated with the 3rd Workshop on Syntax and</div>
<div>Semantics of Type Theory (SSTT 2026), which is held from June 4-5, 2026.</div>
<div><br>
</div>
<div>MFPS conferences are dedicated to the areas of mathematics, logic, and computer</div>
<div>science that are related to models of computation in general, and to semantics</div>
<div>of programming languages in particular. This is a forum where researchers in</div>
<div>mathematics and computer science can meet and exchange ideas. The participation</div>
<div>of researchers in neighbouring areas is strongly encouraged.</div>
<div><br>
</div>
<div>Topics include, but are not limited to, the following: bio-computation;</div>
<div>concurrent qualitative and quantitative distributed systems; process calculi;</div>
<div>probabilistic systems; constructive mathematics; domain theory and categorical</div>
<div>models; formal languages; formal methods; game semantics; lambda calculus;</div>
<div>programming language theory; quantum computation; security; topological models;</div>
<div>logic; type systems; type theory; denotational and operational semantics;</div>
<div>rewrite theory; proof theory. We also welcome contributions that address</div>
<div>applications of semantics to novel areas.</div>
<div><br>
</div>
<div>Participation in the meeting is expected to be in person; one author of every</div>
<div>accepted paper has to attend the meeting and give the presentation. Exceptions</div>
<div>might be in case there are unexpected problems with travel/visa.</div>
<div><br>
</div>
<div>Joint website of MFPS XLII and SSTT 2026: <a href="https://urldefense.com/v3/__https://ul-fmf.github.io/mfps-sstt-2026/__;!!IBzWLUs!T4k6k-eS68PF8Fde7QKyYZwWkakQO24JQdKL6Msc-f5UKIcbecScLJzjN7Vj3nm0rv6GcydeyGe1jWMMMtBih7UXwBTuK48bzQ$">https://ul-fmf.github.io/mfps-sstt-2026/</a> </div>
<div><br>
</div>
<div>## INVITED SPEAKERS AND SPECIAL SESSIONS</div>
<div><br>
</div>
<div>As in previous years, MFPS will have several invited speakers and special</div>
<div>sessions highlighting areas within programming languages semantics. We are</div>
<div>pleased to announce the following invited speakers and special sessions.</div>
<div><br>
</div>
<div>### Invited speakers</div>
<div><br>
</div>
<div>* Martín Escardó (University of Birmingham)</div>
<div>* Cristina Matache (University of Edinburgh)</div>
<div>* TBA</div>
<div>* TBA</div>
<div><br>
</div>
<div>### Special sessions</div>
<div><br>
</div>
<div>* Proofs and Semantics - in celebration of Alex Simpson’s 60th birthday </div>
<div> (organised by Niels Voorneveld)</div>
<div><br>
</div>
<div>* Quantitative, Graded, and Interactive Semantics </div>
<div> (organised by Dominic Orchard)</div>
<div><br>
</div>
<div>## SUBMISSION</div>
<div><br>
</div>
<div>### Important dates</div>
<div><br>
</div>
<div>* Paper submission: March 5, 2026 (AoE)</div>
<div>* Author notification: April 23, 2026</div>
<div>* Conference: June 1-3, 2026</div>
<div><br>
</div>
<div>### Submissions</div>
<div><br>
</div>
<div>Submissions are made through EasyChair</div>
<div>(<a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=mfps2026__;!!IBzWLUs!T4k6k-eS68PF8Fde7QKyYZwWkakQO24JQdKL6Msc-f5UKIcbecScLJzjN7Vj3nm0rv6GcydeyGe1jWMMMtBih7UXwBSnTfBIhQ$">https://easychair.org/conferences/?conf=mfps2026</a>).</div>
<div><br>
</div>
<div>Papers can be at most 15 pages long, excluding bibliography, and should be</div>
<div>prepared using the MFPS macros (<a href="https://urldefense.com/v3/__https://mfpsconf.org/submissions-to-mfps/__;!!IBzWLUs!T4k6k-eS68PF8Fde7QKyYZwWkakQO24JQdKL6Msc-f5UKIcbecScLJzjN7Vj3nm0rv6GcydeyGe1jWMMMtBih7UXwBRRY0iDtg$">https://mfpsconf.org/submissions-to-mfps/</a>).</div>
<div><br>
</div>
<div>Proofs omitted due to space limitations may be included in a clearly marked</div>
<div>appendix, to be consulted at the discretion of program committee members.</div>
<div><br>
</div>
<div>### Proceedings</div>
<div><br>
</div>
<div>A preliminary version will be distributed at the meeting. Final proceedings will</div>
<div>be published in Electronic Notes in Theoretical Informatics and Computer Science</div>
<div>(ENTICS). This new open-access series is hosted by <a href="https://urldefense.com/v3/__http://episciences.org/__;!!IBzWLUs!T4k6k-eS68PF8Fde7QKyYZwWkakQO24JQdKL6Msc-f5UKIcbecScLJzjN7Vj3nm0rv6GcydeyGe1jWMMMtBih7UXwBRWlujgiA$">Episciences.org</a> as an overlay</div>
<div>for papers published by the CORR arXiv or HAL.</div>
<div><br>
</div>
<div>## PROGRAM COMMITTEE</div>
<div><br>
</div>
<div>* Danel Ahman (University of Tartu) (co-chair)</div>
<div>* Pierre Clairambault (CNRS and Aix-Marseille Université)</div>
<div>* Nate Foster (Cornell University)</div>
<div>* Helle Hvid Hansen (University of Groningen)</div>
<div>* Tom de Jong (University of Nottingham)</div>
<div>* Robin Kaarsgaard (University of Southern Denmark)</div>
<div>* Ohad Kammar (University of Edinburgh)</div>
<div>* Anja Petković Komel (Argot Collective)</div>
<div>* Ugo Dal Lago (University of Bologna and INRIA Sophia Antipolis)</div>
<div>* Paul Blain Levy (University of Birmingham)</div>
<div>* Matteo Mio (CNRS/ENS-Lyon)</div>
<div>* Max New (University of Michigan)</div>
<div>* Valeria de Paiva (Topos Institute)</div>
<div>* Paige Randall North (Utrecht University)</div>
<div>* Mario Román (University of Oxford)</div>
<div>* Jurriaan Rot (Radboud University) (co-chair)</div>
<div>* Tarmo Uustalu (Reykjavik University and Tallinn University of Technology)</div>
<div>* Jana Wagemaker (Radboud University)</div>
<div>* Kazuki Watanabe (National Institute of Informatics)</div>
<div>* Thorsten Wißmann (Friedrich-Alexander-Universität Erlangen-Nürnberg)</div>
<div>* Noam Zeilberger (Ecole Polytechnique)</div>
<div><br>
</div>
<div>## LOCAL ORGANISER</div>
<div><br>
</div>
<div>* Andrej Bauer (University of Ljubljana)</div>
<div><br>
</div>
<div>## CONTACT</div>
<div><br>
</div>
<div>For any further information about MFPS 2026, please contact the PC co-chairs: </div>
<div>Danel Ahman and Jurriaan Rot (<a href="mailto:mfps2026@easychair.org">mfps2026@easychair.org</a>)</div>
</body>
</html>