This continues earlier 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; full CfP and submission instructions to come soon.
Key dates
- Contributed talk submission: Thu March 26, 2026 (AoE)
- Notification: Thu April 23, 2026
- Registration deadline: TBA
- Workshop: Thu-Fri June 4–5, 2026
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)