CADE-28 Call for Papers, Workshops, Tutorials, and Competitions

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.