All eventsWorkshopSSTT’263rd Workshop on Syntax and Semantics of Type TheoryLjubljana, Slovenia·June 4 – 5, 2026TypesSemanticsStar this eventAdd to calendarDates & DeadlinesOfficial pageAbstractApr 2passedNotificationApr 23passedNotesCo-located with MFPS 2026Co-located withMFPSMathematical Foundations of Programming SemanticsJun 1 – 3, 2026Last updated May 17, 2026