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

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.

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.

Important dates

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

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)

Chairs

Program committee