The conference on Automated Deduction (CADE) is the major international forum at which research
on all aspects of automated deduction is presented. The conference programme includes invited talks,
paper presentations, workshops, tutorials, and system competitions. Furthermore, the Herbrand Award
for Distinguished Contributions to Automated Deduction and the new Skolem Award(s)
historical CADE papers is presented at the conference.
The 28th International Conference on Automated Deduction (CADE-28) will be in Pittsburgh, Pennsylvania from July 11 to 16, 2021.
The conference will be hosted in the Gates Hillman Center at
Carnegie Mellon University
More information about submission can be found in the Call for Papers