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 through EasyChair.

For full details, including registration and important dates, see that main SSTT page.