[TYPES/announce] MFPS XLII: First Call for Papers

[Danel Ahman]

# MFPS XLII: Mathematical Foundations of Programming Semantics

https://urldefense.com/v3/__https://ul-fmf.github.io/mfps-sstt-2026/__;!!IBzWLUs!T4k6k-eS68PF8Fde7QKyYZwWkakQO24JQdKL6Msc-f5UKIcbecScLJzjN7Vj3nm0rv6GcydeyGe1jWMMMtBih7UXwBTuK48bzQ$ 

## CALL FOR PAPERS

We are delighted to announce the 42nd Conference on the Mathematical Foundations
of Programming Semantics (MFPS XLII). It will take place at the Faculty of
Mathematics and Physics, University of Ljubljana in Ljubljana, Slovenia, from
June 1-3, 2026, where it will be colocated with the 3rd Workshop on Syntax and
Semantics of Type Theory (SSTT 2026), which is held from June 4-5, 2026.

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.

Joint website of MFPS XLII and SSTT 2026: https://urldefense.com/v3/__https://ul-fmf.github.io/mfps-sstt-2026/__;!!IBzWLUs!T4k6k-eS68PF8Fde7QKyYZwWkakQO24JQdKL6Msc-f5UKIcbecScLJzjN7Vj3nm0rv6GcydeyGe1jWMMMtBih7UXwBTuK48bzQ$ 

## INVITED SPEAKERS AND SPECIAL SESSIONS

As in previous years, MFPS will have several invited speakers and special
sessions highlighting areas within programming languages semantics. We are
pleased to announce the following invited speakers and special sessions.

### Invited speakers

* Martín Escardó (University of Birmingham)
* Cristina Matache (University of Edinburgh)
* TBA
* TBA

### 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)

## SUBMISSION

### Important dates

* Paper submission: March 5, 2026 (AoE)
* Author notification: April 23, 2026
* Conference: June 1-3, 2026

### Submissions

Submissions are made through EasyChair
(https://urldefense.com/v3/__https://easychair.org/conferences/?conf=mfps2026__;!!IBzWLUs!T4k6k-eS68PF8Fde7QKyYZwWkakQO24JQdKL6Msc-f5UKIcbecScLJzjN7Vj3nm0rv6GcydeyGe1jWMMMtBih7UXwBSnTfBIhQ$ ).

Papers can be at most 15 pages long, excluding bibliography, and should be
prepared using the MFPS macros (https://urldefense.com/v3/__https://mfpsconf.org/submissions-to-mfps/__;!!IBzWLUs!T4k6k-eS68PF8Fde7QKyYZwWkakQO24JQdKL6Msc-f5UKIcbecScLJzjN7Vj3nm0rv6GcydeyGe1jWMMMtBih7UXwBRRY0iDtg$ ).

Proofs omitted due to space limitations may be included in a clearly marked
appendix, to be consulted at the discretion of program committee members.

### Proceedings

A preliminary version will be distributed at the meeting. Final proceedings will
be published in Electronic Notes in Theoretical Informatics and Computer Science
(ENTICS). This new open-access series is hosted by Episciences.org<https://urldefense.com/v3/__http://episciences.org/__;!!IBzWLUs!T4k6k-eS68PF8Fde7QKyYZwWkakQO24JQdKL6Msc-f5UKIcbecScLJzjN7Vj3nm0rv6GcydeyGe1jWMMMtBih7UXwBRWlujgiA$ > as an overlay
for papers published by the CORR arXiv or HAL.

## PROGRAM COMMITTEE

* Danel Ahman (University of Tartu) (co-chair)
* 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)
* Jurriaan Rot (Radboud University) (co-chair)
* 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)

## LOCAL ORGANISER

* Andrej Bauer (University of Ljubljana)

## CONTACT

For any further information about MFPS 2026, please contact the PC co-chairs:
Danel Ahman and Jurriaan Rot (mfps2026 at easychair.org<mailto:mfps2026 at easychair.org>)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20251219/292b40cd/attachment-0001.htm>