All eventsWorkshopTHEMA’26Workshop on Theory and Methods for AbstractionLisbon, Portugal·July 24, 2026Star this eventAdd to calendarDates & DeadlinesOfficial pagePaperMay 4passedNotificationMay 28passedPart ofFLoCFederated Logic ConferenceJul 17 – 29, 2026Co-located withKRPrinciples of Knowledge Representation and ReasoningJul 20 – 23, 2026Last updated May 13, 2026