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