CfP: SSTT Ljubljana, June 4–5 (submissions by Thu 2 April)

[Peter LeFanu Lumsdaine]

Dear all,

This is a reminder CfP and deadline extension for the 3rd workshop on Syntax and Semantics of Type Theories, in Ljubljana, June 4–5 2026, collocated with MFPS: https://ul-fmf.github.io/mfps-sstt-2026/sstt/

The workshop covers the mathematical meta-theoretic study of type theories, broadly construed, with particular focus (not exclusive) on foundational dependent type theories in the 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 April 2, 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 wishes,
–Peter LeFanu Lumsdaine & Anders Mörtberg (organisers)