Le prix Herbrand est une distinction scientifique de la Conference on Automated Deduction (CADE). Il est remis chaque année depuis 1992 et il est doté de . Il récompense un scientifique pour une contribution exceptionnelle dans le domaine de la preuve assistée par ordinateur. Le prix est nommé d'après le logicien et mathématicien français Jacques Herbrand et c'est le plus prestigieux des prix de la recherche internationale dans cette discipline.
Lauréats
Notes et références
Liens externes The Herbrand Award for Distinguished Contributions to Automated Reasoning
Articles connexes Liste de prix en informatique
Catégorie:Distinction fondée en 1992 Catégorie:Distinction en informatique Catégorie:Distinction en mathématiques Catégorie:Assistant de preuve