MFPS XLII and SSTT 2026: Call for participation

[Danel Ahman]

=====================================================================

CALL FOR PARTICIPATION: MFPS XLII and SSTT 2026

42nd Conference on the Mathematical Foundations of Programming Semantics (MFPS XLII)

3rd Workshop on Syntax and Semantics of Type Theory (SSTT 2026)

June 1-5, 2026

Ljubljana, Slovenia

https://ul-fmf.github.io/mfps-sstt-2026/

*** Accepted papers and contributed talks are online. Registration is open. ***

========================================================================

# Registration and local information

The registration deadline is **May 25**. The registration fees are as follows:

* MFPS XLII (June 1-3): €200 regular participants
* MFPS XLII (June 1-3): €100 students
* SSTT 2026 (June 4-5): €30

Registration fees include coffee breaks. Meals are not included.

There will also be separate conference and workshop dinners for MFPS XLII and
SSTT 2026 on Tuesday, June 2 and Thursday, June 4, respectively. Dinners are
not included in the registration fee and are to be paid separately.

Please follow the registration and payment instructions at

https://ul-fmf.github.io/mfps-sstt-2026/registration/

**Book your travel early!** Ljubljana is a popular tourist destination in
June, and the hotels tend to fill up well in advance. Waiting until close
to the meetings will likely mean limited choice and higher prices.

# Invited Speakers

* Martín Escardó, University of Birmingham (MFPS)
* Joost-Pieter Katoen, RWTH Aachen University (MFPS)
* Cristina Matache, University of Edinburgh (MFPS)
* Ana Sokolova, University of Salzburg (MFPS)

* Reid Barton, Chalmers University of Technology (SSTT)
* Ambrus Kaposi, Eötvös Loránd University (SSTT)

# Special Sessions

* Proofs and Semantics - in celebration of Alex Simpson's 60th birthday (MFPS)
Organiser: Niels Voorneveld

* Quantitative, Graded, and Interactive Semantics (MFPS)
Organiser: Dominic Orchard

# Accepted papers and contributed talks

* MFPS: https://ul-fmf.github.io/mfps-sstt-2026/mfps-accepted-papers/
* SSTT: https://ul-fmf.github.io/mfps-sstt-2026/sstt-contributed-talks/

# About MFPS and SSTT

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.

SSTT workshops cover the mathematical meta-theoretic study of type theories,
broadly construed, with particular focus (though not exclusively) on dependent
type theories in the foundational tradition of Martin-Löf, including systems for
homotopical and synthetic mathematics, and their implementations.

# MFPS Chairs

* Danel Ahman (University of Tartu)
* Jurriaan Rot (Radboud University)

# SSTT Chairs

* Peter LeFanu Lumsdaine (Stockholm University)
* Anders Mörtberg (Stockholm University)

# Local Organiser

* Andrej Bauer (University of Ljubljana)