The Herbrand Award for Distinguished Contributions to Automated Reasoning is awarded by CADE Inc. “to honor an individual or (a group of) individuals for exceptional contributions to the field of Automated Deduction.”