Herbrand Award - Herbrand Award
The Herbrandova cena za významné příspěvky k automatizovanému uvažování je ocenění udělené CADE Inc. (i když to předchází formálnímu začlenění CADE) k vyznamenání osob nebo skupin za důležité příspěvky do oblasti automatický odpočet. Cena je pojmenována po francouzština vědec Jacques Herbrand a jsou poskytovány maximálně jednou za CADE nebo IJCAR konference. Dodává se s cenou 1 000 USD. Kdokoli může být nominován, cena se uděluje po hlasování mezi správci CADE a bývalými příjemci, obvykle za přispění programové komise CADE / IJCAR.
Příjemci
Minulí příjemci ceny jsou:
90. léta
- Larry Wos (1992)
- Woody Bledsoe (1994)
- John Alan Robinson (1996)
- Wu Wenjun (1997)
- Gérard Huet (1998)
- Robert S. Boyer a J Strother Moore (1999)
2000s
- 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)
- Deepak Kapur (2009)
2010s
- David Plaisted (2010)
- Nachum Dershowitz (2011)
- Melvin Fitting (2012)
- C Greg Nelson (2013)
- Robert L. Constable (2014)
- Andrej Voronkov (2015)
- Zohar Manna a Richard Waldinger (2016)
- Lawrence C. Paulson (2017)
- Bruno Buchberger (2018)
- Nikolaj Bjørner a Leonardo de Moura (2019)
20. léta 20. století
- Franz Baader (2020)
Viz také
- Seznam ocenění za informatiku
- Cena Jacquese Herbranda - Francouzská akademie věd pro matematiku a fyziku