[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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://urldefense.com/v3/__https://easychair.org/conferences/?conf=sstt2026__;!!IBzWLUs!TI8v89JN8HYJqaMcLI1Q8ubFYuf66oZoWGl5VUaKgRGDc55udnHjdpYJ-cyKt14VoklFDxMIgNKT2XpFuuOfL12yY0-0M7H4MKm1I-g$
For full details, including registration and submission instructions, see
https://urldefense.com/v3/__https://ul-fmf.github.io/mfps-sstt-2026/sstt/__;!!IBzWLUs!TI8v89JN8HYJqaMcLI1Q8ubFYuf66oZoWGl5VUaKgRGDc55udnHjdpYJ-cyKt14VoklFDxMIgNKT2XpFuuOfL12yY0-0M7H49gxqOzg$
Best,
Anders
