Conference · The Conference on Automated Deduction
CADE 2027
Official page- Type
- Conference
- Organisation
- The Conference on Automated Deduction
- Location
- Nijmegen, Netherlands
- Submissions close
- 23 February 2027
- Takes place
- 22 August 2027 to 25 August 2027
- Found
- 26 September 2026
About this listing
The Conference on Automated Deduction. Papers due 22 Feb 2027, 23:59 AoE; abstracts first, by 15 Feb 2027, 23:59 AoE. Ranked CCF B, CORE A. 42.5% of papers accepted in 2025 (37 of 87). Held August 22-25, 2027 in Nijmegen, Netherlands.
Last checked 8 October 2026. Found via CCF Deadlines.