Logic List Mailing Archive

CfR: MFPS XLII & SSTT 2026 – Conference on Mathematical Foundations of Programming Semantics and Workshop on Syntax and Semantics of Type Theory, 1–5 June 2026, Ljubljana (Slovenia), registration deadline: 25 May 2026

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

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)

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php