Software & Theory

CADE 2027: submission deadline & dates

Name: CADE 2027
Start: 2027-08-22
End: 2027-08-25
Location: Nijmegen, Netherlands

The Conference on Automated Deduction

145 days leftPaper deadline · 22 February 2027 (UTC)

Paper deadline: 22 February 2027 · UTC
Abstract deadline: 15 February 2027
Conference dates: 22–25 August 2027
Location: Nijmegen, Netherlands
Field: Theory of Computing
Ranking: CORE A · CCF B

Official call for papers ↗ All Software & Theory deadlines on the board →

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.