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.

Important dates

MFPS

• Paper submission: Thu March 5, 2026 (AoE)
• Notification: Thu April 23, 2026
• Registration deadline: TBA
• Conference: Mon-Wed June 1-3, 2026

SSTT

• Paper submission: Thu March 19, 2026 (AoE)
• Notification: Thu April 23, 2026
• Registration deadline: TBA
• Workshop: Thu-Fri June 4–5, 2026

Invited speakers

• Martín Escardó (MFPS)
• Cristina Matache (MFPS)
• TBA

Special sessions

• Proofs and Semantics - in celebration of Alex Simpson’s 60th birthday (MFPS)
• Quantitative, Graded, and Interactive Semantics (MFPS)
• TBA

Sponsors

Contacts

For further information about MFPS XLII, please contact Danel Ahman and Jurriaan Rot (mfps2026@easychair.org).

For further information about SSTT 2026, please contact Peter LeFanu Lumsdaine and Anders Mörtberg.

For local organisation matters, please contact Andrej Bauer.