All eventsConferenceFSCD’25Formal Structures for Computation and DeductionBirmingham, UK·July 14 – 20, 2025TypesLogicStar this eventAdd to calendarDates & DeadlinesOfficial pageAbstractFeb 17passedPaperFeb 22passedRebuttalApr 11passedNotificationApr 30passedCamera-readyMay 14passedLast updated May 17, 2026