All eventsWorkshopSD’26Structures and DeductionLisbon, Portugal·July 24 – 25, 2026LogicSemanticsStar this eventAdd to calendarDates & DeadlinesOfficial pagePaperMay 1passedNotificationMay 23passedCamera-readyTBDPart ofFLoCFederated Logic ConferenceJul 17 – 29, 2026Last updated May 17, 2026