1992 gründete CADE Inc. den Herbrand Award for Distinguished Contributions to Automated Reasoning, um eine Einzelperson oder (eine Gruppe von) Einzelpersonen für außergewöhnliche Beiträge auf dem Gebiet Automated Deduction zu ehren. Nominierungen für diesen Preis können jederzeit an den Präsidenten von CADE Inc. gerichtet werden.
Der Herbrand Award for Distinguished Contributions to Automated Reasoning, der auf der 30th International Conference on Automated Deduction (CADE-30) verliehen wurde, geht an Aart Middeldorp in Anerkennung seiner fundierten Grundlagenarbeit und seiner bedeutenden praktischen Beiträge auf dem Gebiet des Term Rewritings sowie seines langjährigen Engagements und seiner Verdienste um die Automated Reasoning Community.