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

22 views

Skip to first unread message

Benedikt Ahrens

unread,

Mar 4, 2026, 5:01:57 AM (12 days ago) Mar 4

to Homotopy Type Theory

Dear all,

This is a first call for participation and contributions for 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 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/ .

Reply all

Reply to author

Forward

0 new messages