This is a call for contributions to the 3rd workshop on Syntax and Semantics of Type Theories, in Ljubljana, June 4–5 2026, collocated with MFPS.
The workshop covers the mathematical meta-theoretic study of type theories, broadly construed, with particular focus (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 by Thursday March 26 (AoE) through EasyChair: https://easychair.org/conferences/?conf=sstt2026
For full details, including registration and submission instructions, see https://ul-fmf.github.io/mfps-sstt-2026/sstt/