The International Conference on Automated Deduction (CADE) Herbrand Award 2018 for Distinguished Contributions to Automated Reasoning goes to Bruno Buchberger for the invention, implementation, and analysis of the Gröbner-basis method, resulting in the reshaping of symbolic computation towards comprehensive and widely applicable tools.

The award has been presented at IJCAR 2018, the 9th International Joint Conference on Automated Reasoning July, 2018.

See also here.