All eventsWorkshopMSFP’26Workshop on Mathematically Structured Functional ProgrammingLisbon, Portugal·July 18, 2026Functional ProgrammingCategory TheoryStar this eventAdd to calendarDates & DeadlinesOfficial pagePaperMay 7passedNotificationMay 27passedCamera-readyJun 24passedPart ofFSCDFormal Structures for Computation and DeductionJul 20 – 23, 2026Last updated May 17, 2026