CADE 2021: 28th International Conference on Automated Deduction
July 11-16, 2021, virtual from Pittsburgh, Pennsylvania, USA
The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects of automated deduction is presented. The first conference was held in 1974, with this year's conference being the 28th CADE. Early CADEs were mostly biennial, and annual conferences started in 1996. The CADE conference series is managed by CADE Inc.
The 28th International Conference on Automated Deduction (CADE-28) will be virtual due to the COVID-19 pandemic. The virtual conference will take place from July 11 to 16, 2021, including affiliated workshops.
For information about registration, see the conference website at: http://www.cade-28.info/#participation .
A preliminary program is available at: https://easychair.org/smart-program/CADE-28/ .
Last updated: Dec 05 2021 at 23:19 UTC