This article will be permanently flagged as inappropriate and made unaccessible to everyone. Are you certain this article is inappropriate? Excessive Violence Sexual Content Political / Social
Email Address:
Article Id: WHEBN0002606059 Reproduction Date:
The Herbrand Award for Distinguished Contributions to Automated Reasoning is an award given by CADE Inc. (although it predates the formal incorporation of CADE) to honour persons or groups for important contributions to the field of automated deduction. The award is named after the French scientist Jacques Herbrand and given at most once per CADE or IJCAR conference. It comes with an endowment of US$ 1000. Anyone can be nominated, the award is awarded after a vote among CADE trustees and former recipients, usually with input from the CADE/IJCAR programme committee.
Past recipients of the award are:
United Kingdom, European Union, Italy, Canada, Spain
Logic, Model checking, System on TPTP, World War II, University of Cambridge
Syracuse University, University of Oregon, Authority control, Princeton University, American Mathematical Society
University of Edinburgh, Artificial intelligence, Order of the British Empire, Automated theorem proving, University of Leicester
United States, Carnegie Mellon University, Princeton University, Mathematician, Pittsburgh, Pennsylvania