All eventsWorkshopITRS’26Workshop on Intersection Types and Related SystemsLisbon, Portugal·July 18, 2026TypesStar this eventAdd to calendarDates & DeadlinesOfficial pagePaperMay 15passedNotificationMay 29passedCamera-readyJun 2819hPart ofFLoCFederated Logic ConferenceJul 17 – 29, 2026Co-located withGaLoPWorkshop on Games for Logic and Programming LanguagesJul 18 – 19, 2026TLLAInternational Workshop on Trends in Linear Logic and ApplicationsJul 18 – 19, 2026FSCDFormal Structures for Computation and DeductionJul 20 – 23, 2026Last updated May 17, 2026