FSCD

’27

Formal Structures for Computation and Deduction

ConferenceNijmegen, The NetherlandsAugust 23 – 26, 2027

Logic
Types

Dates & Deadlines

AbstractFeb 154mo
PaperFeb 224mo
RebuttalApr 306mo
NotificationMay 177mo
Camera-readyMay 317mo

Co-located with

CADEConference on Automated DeductionAug 22 – 25, 2027

Last updated Sep 23, 2026