The 28th International Conference on Automated Deduction


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) for influential 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.

Gates Hillman Center at CMU


All dates are Anywhere on Earth.


Workshops+Tutorials: 11 and 16 July 2021
Conference: 12 - 15 July 2021


Abstract deadline: 15 February 2021
Submission deadline: 22 February 2021
Rebuttal phase: 2 April 2021
Notification: 9 April 2021
Final version: 31 May 2021


PC Chairs

André Platzer, Carnegie Mellon University
Geoff Sutcliffe, University of Miami

Local Organizers

Marijn Heule, Carnegie Mellon University
André Platzer, Carnegie Mellon University
Iliano Cervesato, Carnegie Mellon University

Workshop and Tutorial Chair

Alexander Steen, University of Luxembourg

Publicity Chair

Sophie Tourret, Max Planck Institute

Program Committee



The conference will be orgranized in the Gates Center for Computer Science and Hillman Center for Future Generation Technologies at Carnegie Mellon University. The conference sessions will be held in the Rashid auditorium (Gates Hillman 4401), which seats 250 people. The auditorium is located near the main entrance of the Gates Hillman Center (4th floor). A handful of smaller conference rooms are nearby the Rashid auditorium, such as the Reddy conference room (Gates Hillman 4405) and the McWilliams eScience conference room (Gates Hillman 4303). These smaller rooms for workshop and tutorials can accommodate groups of up to 50 participants. All rooms are fully equipped with projection, lectern and sound.