Herbrand Award

Herbrand Award

The Herbrand Award for Distinguished Contributions to Automated Deduction 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:

* Larry Wos (1992)
* Woody Bledsoe (1994)
* J. Alan Robinson (1996)
* Wu Wen-Tsun (1997)
* Gérard Huet (1998)
* Robert S. Boyer and J Strother Moore (1999)
* William W. McCune (2000)
* Donald W. Loveland (2001)
* Mark E. Stickel (2002).
* Peter B. Andrews (2003)
* Harald Ganzinger (2004)
* Martin Davis (2005)
* Wolfgang Bibel (2006)
* Alan Bundy (2007)
* Edmund M. Clarke (2008)

External links

* [http://www.cadeinc.org/HerbrandAward.html The Herbrand Award for Distinguished Contributions to Automated Reasoning]


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Herbrand-Award — Der Herbrand Award (Herbrand Preis) ist ein mit 1000 US Dollar dotierter Wissenschaftspreis. Er wird seit 1992 jährlich vergeben. Mit ihm wird ein Wissenschaftler für herausragende Beiträge zum automatischen Theorembeweisen ausgezeichnet. Benannt …   Deutsch Wikipedia

  • Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… …   Wikipedia

  • John Alan Robinson — is a philosopher (by training), mathematician and computer scientist. He is University Professor Emeritus at Syracuse University, United States.Alan Robinson s major contribution is to the foundations of automated theorem proving and logic… …   Wikipedia

  • Список премий в информатике —   Это служебный список статей, созданный для координации работ по развитию темы. Его необходимо преобразовать в информационный список или глоссарий или перенести в один из проектов.    …   Википедия

  • Кларк, Эдмунд Мельсон — Эдмунд Мельсон Кларк младший Edmund Melson Clarke, Jr …   Википедия

  • List of prizes, medals, and awards — A list of famous prizes, medals, and awards including badges, bowls, cups, state decorations, trophies, etc. Contents 1 Business and management 2 Entertainment 2.1 Advertising …   Wikipedia

  • Ganzinger — Harald Ganzinger (* 31. Oktober 1950 in Werneck (Bayern); † 3. Juni 2004 in Saarbrücken) war von 1991 bis zu seinem Tod Direktor der Arbeitsgruppe „Logik der Programmierung“ am Saarbrücker Max Planck Institut für Informatik. Harald Ganzinger… …   Deutsch Wikipedia

  • Edmund M. Clarke — 2006 Edmund „Ed“ Melson Clarke, Jr. (* 27. Juli 1945 in Newport News, Virginia) ist ein amerikanischer Informatiker und Turing Preisträger. Zusammen mit Allen Emerson hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet. Clarke ist… …   Deutsch Wikipedia

  • Competitions and prizes in artificial intelligence — There are a number of competitions and prizes to promote research in artificial intelligence. Contents 1 General machine intelligence 2 Conversational behaviour 3 Pilotless aircraft 4 …   Wikipedia

  • Alan Bundy — Alan Bundy, FRSE, FBCS, FAAAI, FECCAI, FAISB, is a professor at the School of Informatics at the University of Edinburgh, known for his contributions to automated reasoning, especially to proof planning, the use of meta level reasoning to guide… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”