3rd Workshop on Syntax and Semantics of Type Theory

This continues earlier workshops in Ljubljana (2017) and Stockholm (2022).

We welcome talks on all topics within the mathematical meta-theoretic study of type theories.

Key dates

  • Paper submission: Thu March 19, 2026 (AoE)
  • Notification: Thu April 23, 2026
  • Registration deadline: TBA
  • Workshop: Thu-Fri June 4–5, 2026

Invited speakers

TBA

Special sessions

TBA

Chairs

Program committee

TBA