Submissions are now closed. Authors have been notified; see the list of accepted contributed talks.

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 April 2 through EasyChair, preferably using this LaTeX class.

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