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.
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; denotational and operational semantics; rewrite theory; proof theory. We also welcome contributions that address applications of semantics to novel areas.
Participation in the meeting is expected to be in person; one author of every accepted paper has to attend the meeting and give the presentation. Exceptions might be in case there are unexpected problems with travel/visa.
Accepted papers
Important dates
Paper submission: Thu March 12, 2026 (AoE) (extended)Submissions are now closed.Notification: Thu April 23, 2026Authors have been notified.- Registration deadline: TBA
- Conference: Mon–Wed June 1–3, 2026
Invited speakers
- Martín Escardó (University of Birmingham)
- Joost-Pieter Katoen (RWTH Aachen University)
- Cristina Matache (University of Edinburgh)
- Ana Sokolova (University of Salzburg)
Special sessions
- Proofs and Semantics - in celebration of Alex Simpson’s 60th birthday (organised by Niels Voorneveld)
- Quantitative, Graded, and Interactive Semantics (organised by Dominic Orchard)
Chairs
- Danel Ahman (University of Tartu)
- Jurriaan Rot (Radboud University)
Program committee
- Pierre Clairambault (CNRS and Aix-Marseille Université)
- Nate Foster (Cornell University)
- Helle Hvid Hansen (University of Groningen)
- Tom de Jong (University of Nottingham)
- Robin Kaarsgaard (University of Southern Denmark)
- Ohad Kammar (University of Edinburgh)
- Anja Petković Komel (Argot Collective)
- Ugo Dal Lago (University of Bologna and INRIA Sophia Antipolis)
- Paul Blain Levy (University of Birmingham)
- Matteo Mio (CNRS/ENS-Lyon)
- Max New (University of Michigan)
- Valeria de Paiva (Topos Institute)
- Paige Randall North (Utrecht University)
- Mario Román (University of Oxford)
- Tarmo Uustalu (Reykjavik University and Tallinn University of Technology)
- Jana Wagemaker (Radboud University)
- Kazuki Watanabe (National Institute of Informatics)
- Thorsten Wißmann (Friedrich-Alexander-Universität Erlangen-Nürnberg)
- Noam Zeilberger (Ecole Polytechnique)