Post #956914

We are organizing a 3rd workshop on the syntax and semantics of type theories in Ljubljana June 4-5: https://ul-fmf.github.io/mfps-sstt-2026/sstt/ Contributed talks are very welcome and short abstracts (max 1 page) should be submitted by Thursday March 26 (AoE) through EasyChair: https://easychair.org/conferences/?conf=sstt2026