All eventsConferenceMFPS’26Mathematical Foundations of Programming SemanticsLjubljana, Slovenia·June 1 – 3, 2026SemanticsCategory TheoryStar this eventAdd to calendarDates & DeadlinesOfficial pagePaperMar 12passedNotificationApr 23passedCo-located withSSTT3rd Workshop on Syntax and Semantics of Type TheoryJun 4 – 5, 2026Last updated May 17, 2026