CADE-28: Call for Papers, Workshops, Tutorials and Competitions
The 28th International Conference on Automated Deduction (CADE-28)
Carnegie Mellon University, Pittsburgh, USA. 11-16th July 2021.
CADE will carefully monitor the development of the COVID-19 pandemic, and take
guidance from from the health authorities, to determine whether CADE-28 will be
physical or online.
CALL FOR PAPERS