Herbrand-Award
The Herbrand Award ( Herbrand price) is doped with 1000 U.S. dollars Science Award. It is awarded annually since 1992. With it, a scientist is awarded for outstanding contributions to automatic theorem proving. The award is named after the French logician and mathematician Jacques Herbrand. He is the most prestigious international research award in this specialized field.