CADE

’27

Conference on Automated Deduction

ConferenceNijmegen, The NetherlandsAugust 22 – 25, 2027

Theorem Proving
Logic

Dates & Deadlines

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

Co-located with

FSCDFormal Structures for Computation and DeductionAug 23 – 26, 2027

Last updated Sep 23, 2026