In 1992 CADE Inc. established the Herbrand Award for Distinguished Contributions to Automated Reasoning, to honor an individual or (a group of) individuals for exceptional contributions to the field of Automated Deduction. Nominations for this award can be made at any time to the president of CADE Inc.
The Herbrand Award for Distinguished Contributions to Automated Reasoning, presented at the 30th International Conference on Automated Deduction (CADE-30), is awarded to Aart Middeldorp in recognition of his profound foundational work and impactful practical contributions to the field of term rewriting, as well as his longstanding dedication and service to the automated reasoning community.