All eventsWorkshopIWC’26International Workshop on ConfluenceLisbon, Portugal·July 24, 2026LogicStar this eventAdd to calendarDates & DeadlinesOfficial pagePaperMay 4passedNotificationMay 28passedCamera-readyJun 23passedPart ofFLoCFederated Logic ConferenceJul 17 – 29, 2026Co-located withFSCDFormal Structures for Computation and DeductionJul 20 – 23, 2026IJCARInternational Joint Conference on Automated ReasoningJul 26 – 29, 2026Last updated May 17, 2026