Syntax and Semantics of Type Theories, Ljubljana, June 4–5 2026: Second call for contributions

[Anders Mortberg]

Dear all,

This is the second 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/

Best,

Anders