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!