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.
We welcome contributed talks on all topics within this brief; short abstracts (max 1 page) should be submitted through EasyChair, preferably using this LaTeX template.
For any questions, please contact Peter LeFanu Lumsdaine and Anders Mörtberg at sstt2026@easychair.org.
Important dates
- Contributed talk submission (extended):
Thursday March 26Thursday April 2 (AoE) - Notification: Thu April 23
- Registration deadline: TBA
- Workshop: Thu–Fri June 4–5
Invited speakers
TBA
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)