About CADE
CADE 2027 is the The Conference on Automated Deduction, a top-tier (A-ranked) theory of computing conference. It takes place on 22 August 2027 in Nijmegen, Netherlands. Full papers are due 22 February 2027, with abstracts by 15 February 2027.
Members only · Free to join
Sign in to see the full conference guide
Get every deadline on one timeline, the topics in scope, a submission checklist and links to the call for papers.
- Important dates
- Before you submit
Free forever No credit card 30-second sign-up
