Source: wikibot/herbrand-award
= Herbrand Award
{wiki=Herbrand_Award}
The Herbrand Award is a prestigious recognition in the field of automated reasoning and logic programming, named after the French mathematician and logician Jacques Herbrand. It is awarded annually at the International Conference on Logic Programming (ICLP) to individuals or teams for their outstanding contributions to the field.