The Conference on Automated Deduction
The Conference on Automated Deduction (2027). 22 Aug 2027 to 25 Aug 2027, Nijmegen, Netherlands. Submission: 23 Feb 2027, 11:59 am UTC.
- Submission deadline
- 23 Feb 2027, 11:59 am UTC
- Conference
- 22 Aug 2027
- Location
- Nijmegen, Netherlands
Updated 2 Oct 2026