This is the joint website of
- 42nd Conference on the Mathematical Foundations of Programming Semantics
- 3rd Workshop on Syntax and Semantics of Type Theory
The meetings will take place at the University of Ljubljana, Slovenia from June 1 to June 5, 2026.
News
- June 8, 2026 — Slides have been published for selected talks; look for the [slides] links next to each talk in the programme.
- June 4, 2026 — Tonight: SSTT dinner at Restavracija Breg, 19:00. See the page for the menu and directions.
- June 2, 2026 — Tonight: MFPS dinner at Gostilna Čad, 19:00. See the page for the menu and directions.
- May 29, 2026 — Weekly lunch menus for Lonček Kuhaj and the JSI cafeteria are now available.
- May 29, 2026 — Join the MFPS+SSTT Signal group for discussion and organising meetups.
- May 22, 2026 — Join the MFPS+SSTT Zulip chat for discussion and organising meetups.
- May 11, 2026 — Payment information is now available.
- May 8, 2026 — MFPS programme is now available.
- 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, 2026Registration deadline: Mon May 25, 2026Conference: Mon–Wed June 1–3, 2026
SSTT
Paper submission: Thu April 2, 2026 (AoE)Notification: Thu April 23, 2026Registration deadline: Mon May 25, 2026Workshop: 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 informal discussion and for organising meetups during the conferences, participants can join the MFPS+SSTT Zulip chat or the MFPS+SSTT Signal group.
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.