Skip to content
Conference · Theory of Computing

CADE 2027: The Conference on Automated Deduction

22–25 Aug 2027 · Nijmegen, Netherlands

All conferences
Paper deadline22 Feb 2027AoE 102 days left

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

More Theory of Computing conferences