CADEThe Conference on Automated Deduction Computing TheoryDBLP ↗ CCF BCORE ATHCPL B View latest venue: CADE 2027 August 22-25, 2027 · Nijmegen, Netherlands Paper submission23:59, Feb 22, 2027 · AoE Past venuesCADE 2025July 28-31, 2025DHBW Stuttgart, Stuttgart, GermanyCADE 2023July 1-4, 2023Rome, ItalyCADE 2021July 12-15, 2021Online