The workshop will be held in Ljubljana on June 4–5 2026 in association with MFPS, continuing earlier SSTT workshops in Ljubljana (2017) and Stockholm (2022).
The workshop covers the mathematical meta-theoretic study of type theories, broadly construed, with particular focus (though not exclusive) on dependent type theories in the foundational tradition of Martin-Löf, including systems for homotopical and synthetic mathematics, and their implementations.
Submissions are now closed; the accepted contributed talks are listed below.
For any questions, please contact Peter LeFanu Lumsdaine and Anders Mörtberg at sstt2026@easychair.org.
Important dates
Contributed talk submission: Thursday April 2 (AoE) (extended from Thursday March 26)Submissions are now closed.Notification: Thu April 23Authors have been notified of acceptance.- Registration deadline: TBA
- Workshop: Thu–Fri June 4–5
Contributed talks
Invited speakers
- Ambrus Kaposi (Eötvös Loránd University, Budapest)
- Reid Barton (Chalmers University of Technology, Gothenburg)
Scientific organisers/PC chairs
- Peter LeFanu Lumsdaine (Stockholm University)
- Anders Mörtberg (Stockholm University)
Program committee
- Mitchell Riley (NYU Abu Dhabi)
- Loïc Pujet (University of Strasbourg)
- Axel Ljungström (University of Nottingham)
- András Kovács (University of Gothenburg/Chalmers University)
- Daniel Gratzer (Aarhus University)
- Felix Cherubini (University of Augsburg)
- Steve Awodey (Carnegie Mellon University)
- Benedikt Ahrens (Delft University of Technology)