CCF BTheory2022: BPublisher: Springer
CADEConference on Automated Deduction
CADE is a rank B conference in Theoretical Computer Science in the CCF list's 7th edition (2026), as in 2022. The CADE 2027 abstract deadline is Feb 15, 2027, 23:59 AoE. CADE 2027 takes place on Aug 22–25, 2027 in Nijmegen, Netherlands. Acceptance rate 2025: 42.5% (37/87).
FollowGet an email a week and a day before each deadline
Data updated 8 November 2026 · rank from the CCF list's 7th edition
Current edition
CADE 2027: call for papers timeline
- Feb 16, 2027, 11:59 UTCAbstractCommunity data · unverified
- Feb 23, 2027, 11:59 UTC
- May 1, 2027, 11:59 UTCRebuttalCommunity data · unverified
- May 17, 2027As announced by the conferenceNotificationCommunity data · unverified
- Aug 22–25, 2027Local timeConferenceNijmegen, Netherlands
AoE (Anywhere on Earth) is UTC−12 (time zones explained). These dates come from the ccf-deadlines community project and have not yet been checked against the conference website; confirm them there before you submit. Conference website ↗
Past editions
Dates, venues, deadlines and acceptance rates
| Year | Paper deadline | Acceptance | Papers (dblp) | Dates | Venue |
|---|---|---|---|---|---|
| 2027 | 2027-02-22AoE | — | — | Aug 22–25, 2027 | Nijmegen, Netherlands |
| 2025 | 2025-02-24AoE | 42.5%37/87 · source | 38 | Jul 28–31, 2025 | DHBW Stuttgart, Stuttgart, Germany |
| 2023 | 2023-03-06AoE | 44.6%33/74 · source | 33 | Jul 1–4, 2023 | Rome, Italy |
| 2021 | 2021-02-22AoE | 47.4%36/76 · source | 38 | Jul 12–15, 2021 | Online |
| 2019 | — | — | 34 | — | — |
| 2017 | — | — | 34 | — | — |
Paper counts are dblp's main proceedings only, without workshop volumes; acceptance rates link to the page they come from. dblp ↗
CCF list
CADE in the CCF list
- 7th edition (2026)
- CCF B Theoretical Computer Science · no. 5
- 6th edition (2022)
- CCF B Theoretical Computer Science
- Name in the list
- Conference on Automated Deduction
- Publisher
- Springer
- dblp
- conf/cade ↗
CCF counts the full (regular) papers of a listed conference: short papers, demos, technical briefs, summaries, Findings and the workshops held with a conference are outside the list. CCF also says the list is a recommendation and should not be used on its own to evaluate research; your institution's rules decide. What counts, case by case →
FAQ
About CADE
What CCF rank is CADE?
CADE is a rank B conference in Theoretical Computer Science in the CCF list's 7th edition (2026), as in 2022.
When is the CADE 2027 deadline?
Abstract: Feb 15, 2027, 23:59 AoE (Feb 16, 2027, 11:59 UTC). Paper: Feb 22, 2027, 23:59 AoE. The dates come from the ccf-deadlines community project; check the conference website before you submit.
Where is CADE 2027?
CADE 2027 takes place on Aug 22–25, 2027 in Nijmegen, Netherlands.
What is the CADE acceptance rate?
2025: 87 submissions, 37 accepted, 42.5%. 2023: 44.6% (33/74). The history table links each figure to its source.
Do CADE workshop and short papers count as CCF B?
CCF counts the full (regular) papers of a listed conference: short papers, demos, technical briefs, summaries, Findings and the workshops held with a conference are outside the list. CCF also says the list is a recommendation and should not be used on its own to evaluate research; your institution's rules decide.
In more detail: Which CCF conference papers count · How to read conference deadlines
Sources: the CCF list of recommended international conferences and journals, 7th edition (published 31 March 2026, corrected 9 April 2026) and 6th edition (2022); editions, deadlines and acceptance rates from the ccf-deadlines community project (MIT licence), marked as community data until checked against each conference's website, then marked as checked with the website's own words; proceedings and paper counts from dblp (CC0).