Software & Theory

CADE 2027: submission deadline & dates

The Conference on Automated Deduction

99 days leftPaper deadline · 22 February 2027 (UTC)
Abstract deadline
15 February 2027 · UTC
Paper deadline
22 February 2027 · UTC
Rebuttal
30 April 2027 · UTC
Notification of acceptance
17 May 2027 · UTC
Conference dates
22–25 August 2027
Location
Nijmegen, Netherlands
Attendance
In person
Field
Theory of Computing
Ranking
CORE A · CCF B · THCPL B
Past proceedings
On DBLP ↗
Official site
Year and dates confirmed on the conference’s own website by our daily check
Official call for papers ↗ All Software & Theory deadlines on the board →
History

Past editions of CADE

YearWherePaper deadline
2025DHBW Stuttgart, Stuttgart, Germany24 February 2025
2023Rome, Italy6 March 2023
2021Online22 February 2021

Get Software & Theory deadlines by email

Once a month: the paper deadlines coming up in this field, new guides and one practical tip. Confirm by email; unsubscribe any time.

We only email you after you click the confirmation link. Privacy policy

Same field

More Software & Theory conferences

Dates come from the community-maintained ccf-deadlines list and are refreshed daily. Deadlines move — always confirm on the official conference website before you plan or submit.