Nao Hirokawa und Aart Middeldorp erhielten den Thoralf-Skolem-Award für ihr Paper „Automating the Dependency Pair Method”, welches zu einem der einflussreichsten Veröffentlichungen in diesem Bereich zählt. Dieses Paper zeichnet sich durch neue Ideen aus, welche dazu beitragen, den Suchraum zu verringern und somit die von Arts und Gies eingeführte Dependency-Pair-Methode zur Beweisführung der Terminierung von Term-Rewriting-Systemen zu automatisieren. Dies hat die Forschung im Bereich der automatisierten Terminierungsanalyse im Term-Rewriting und darüber hinaus maßgeblich beeinflußt.
Wir gratulieren zum Award!