29 July 2025: Aart Middeldorp receives two prestigious research awards

In this year at the CADE conference, Aart Middeldorp was awarded with both the Herbrand Award and the in combination with Nao Hirokawa, he also received the Thoralf Skolem Award.

The International Conference on Automated Deduction (CADE) Herbrand Award for Distinguished Contributions to Automated Reasoning is presented to Aart Middeldorp for his deep foundational and influential practical contributions to the field of term rewriting, as well as his sustained services to the automated reasoning community.

Furthermore, Nao Hirokawa and Aart Middeldorp received the Thoralf Skolem Award reward for their CADE paper “Automating the Dependency Pair Method” that has passed the test of time, by being a most influential paper in the field. This paper is recognized for proposing new ideas which help reducing the search space and therefore allow to automate the dependency pair method introduced by Arts and Gies for proving termination of term rewriting systems, which greatly influenced the research in the area of automated termination analysis in term rewriting and beyond.

Congratulations!