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