This is the joint website of
- 42nd Conference on the Mathematical Foundations of Programming Semantics (MFPS XLII)
- 3rd Workshop on Syntax and Semantics of Type Theory (SSTT 2026)
The meetings will take place at the University of Ljubljana, Slovenia from June 1 to June 5, 2026.
News
- April 30, 2026 — Registration and local information are now available.
- April 23, 2026 — List of papers accepted to MFPS XLII.
- April 23, 2026 — List of contributed talks at SSTT 2026.
Important dates
MFPS
Paper submission: Thu March 12, 2026 (AoE) (extended)Notification: Thu April 23, 2026- Registration deadline: Mon May 25, 2026
- Conference: Mon–Wed June 1–3, 2026
SSTT
Paper submission: Thu April 2, 2026 (AoE)Notification: Thu April 23, 2026- Registration deadline: Mon May 25, 2026
- Workshop: Thu–Fri June 4–5, 2026
Invited speakers
- Martín Escardó (MFPS)
- Joost-Pieter Katoen (MFPS)
- Cristina Matache (MFPS)
- Ana Sokolova (MFPS)
- Ambrus Kaposi (SSTT)
- Reid Barton (SSTT)
Special sessions
- Proofs and Semantics - in celebration of Alex Simpson’s 60th birthday (MFPS)
- Quantitative, Graded, and Interactive Semantics (MFPS)
Sponsors
- Faculty of Mathematics and Physics, University of Ljubljana
- Institute of Mathematics, Physics and Mechanics
Contacts
For further information about MFPS XLII, please contact Danel Ahman and Jurriaan Rot (mfps2026@easychair.org).
For questions about SSTT 2026, please contact Peter LeFanu Lumsdaine and Anders Mörtberg (sstt2026@easychair.org).
For local organisation matters, please contact Andrej Bauer.