Conference

CADE

’25

Conference on Automated Deduction

Stuttgart, GermanyJuly 28 – 31, 2025Springer LNCS

Theorem Proving
Logic

Dates & Deadlines

AbstractFeb 17passed
PaperFeb 24passed
RebuttalApr 18passed
NotificationApr 28passed
Camera-readyMay 30passed

Last updated May 17, 2026