All eventsWorkshopUNIF’2640th International Workshop on UnificationLisbon, Portugal·July 24, 2026LogicTheorem ProvingStar this eventAdd to calendarDates & DeadlinesOfficial pagePaperMay 15passedNotificationMay 28passedCamera-readyJun 13passedPart 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 Jun 8, 2026