Home / Venues / Computer science / CADE

CADE

The Conference on Automated Deduction

Computer scienceTheory

Paper deadline · 23:59 AoE Confirmed

22 February 2027
Check your paper

First check free, before the 22 February deadline. What does it check?

Add to calendar, with a reminder 3 days before: Apple, Outlook · Google

Abstract
15 February 2027
Edition
August 22-25, 2027
Where
Nijmegen, Netherlands

Source: fscd-cade.science.ru.nl

Acceptance rate

Papers accepted out of those submitted to the main conference.

Acceptance rate (%) by year
2021: 47.4212023: 44.6232025: 42.525

2021: 47.4, 2023: 44.6, 2025: 42.5

YearSubmittedAcceptedRate
2025873742.5%
2023743344.6%
2021763647.4%

Past deadlines

When the paper deadline fell in recent years: a good guide to when the next call will close.

EditionPaper deadlineWhere
20252025-02-24DHBW Stuttgart, Stuttgart, Germany
20232023-03-06Rome, Italy
20212021-02-22Online

Official rankings

Computer science ranks its conferences. We don't reproduce the lists; check CADE on each:

More theory deadlines

MeetingDeadline
SOCGInternational Symposium on Computational Geometry2 Dec 2026
ISITIEEE International Symposium on Information Theory10 Jan 2027
CAVInternational Conference on Computer-Aided Verification20 Jan 2027
FSCDInternational Conference on Formal Structures for Computation and Deduction26 Apr 2027
PacificVisIEEE Pacific Visualization Symposium9 Nov 2026
NOMSIEEE/IFIP Network Operations and Management Symposium9 Nov 2026
ICDEIEEE International Conference on Data Engineering11 Nov 2026
PLDIACM SIGPLAN Conference on Programming Language Design & Implementation12 Nov 2026

Submitting to CADE? DeskReady checks your final PDF against itself before you do: numbers against the tables, claims against the results, figures against their captions, every reference against the databases. Each finding is highlighted on your own page. The first check is free.

Check your paper

Only the reference list? Check it free, no account needed.

Deadlines from public conference data and the official site, checked 2026-11-09 (Data sources). Dates change: confirm on the official site before you submit. DeskReady is not affiliated with CADE.

Last updated