Herbrand Award

E7926
award in automated reasoning computer science award scientific award

The Herbrand Award is a prestigious honor in automated reasoning and logic in computer science, recognizing outstanding contributions to the field.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (2)

Label Occurrences
Herbrand Award canonical 5
Herbrand Award for Automated Reasoning 3

Statements (46)

Predicate Object
instanceOf award in automated reasoning ⓘ
computer science award ⓘ
scientific award ⓘ
awardedFor distinguished contributions to automated deduction ⓘ
outstanding contributions to automated reasoning ⓘ
category Awards established in 1992 ⓘ
Awards in logic and foundations of mathematics ⓘ
Computer science awards ⓘ
country United States of America ⓘ
surface form: United States
domain formal methods ⓘ
logic in computer science ⓘ
theorem proving ⓘ
field automated reasoning ⓘ
computer science ⓘ
mathematical logic ⓘ
frequency annual ⓘ
inception 1992 ⓘ
namedAfter Jacques Herbrand ⓘ
notableRecipient Andrei Voronkov ⓘ
Bruno Buchberger ⓘ
Dale Miller ⓘ
Deepak Kapur ⓘ
Donald W. Loveland ⓘ
E. Allen Emerson ⓘ
Edmund M. Clarke ⓘ
Gilles Dowek ⓘ
Gérard Huet ⓘ
Harald Ganzinger ⓘ
J Strother Moore ⓘ
John Alan Robinson ⓘ
Joseph Sifakis ⓘ
Larry Wos ⓘ
Leonardo de Moura ⓘ
Martin Davis ⓘ
Melvin Fitting ⓘ
Moshe Y. Vardi ⓘ
N. G. de Bruijn ⓘ
Natarajan Shankar ⓘ
Nikolaj Bjørner ⓘ
Rajeev Alur ⓘ
Robert S. Boyer ⓘ
Tobias Nipkow ⓘ
Woody Bledsoe ⓘ
Zohar Manna ⓘ
presentedBy CADE Inc. ⓘ
Conference on Automated Deduction ⓘ

Referenced by (8)

Full triples — surface form annotated when it differs from this entity's canonical label.

Geoffrey Hinton → awardReceived → Herbrand Award ⓘ
Martin Davis → awardReceived → Herbrand Award ⓘ
Deepak Kapur → hasAward → Herbrand Award ⓘ
this entity surface form: Herbrand Award for Automated Reasoning
John Alan Robinson → awardReceived → Herbrand Award ⓘ
J Strother Moore → awardReceived → Herbrand Award ⓘ
this entity surface form: Herbrand Award for Automated Reasoning
Robert S. Boyer → hasAward → Herbrand Award ⓘ
Edmund Melson Clarke Jr. → awardReceived → Herbrand Award ⓘ
subject surface form: Edmund M. Clarke
this entity surface form: Herbrand Award for Automated Reasoning
Matt Kaufmann → awardReceived → Herbrand Award ⓘ