CONCUR Test-of-Time Awards 2026

As annoounced on the CONCUR 2026 website , t he 2026 CONCUR Test-of-Time Award Committee, consisting of Anca Muscholl (chair), Javier Esparza and Prakash Panangaden, has selected the following two papers for the 2006-2009 ToT award. CONCUR 2006: " A New Type System for Deadlock-Free Processes " by Naoki Kobayashi , and CONCUR 2007: " Strategy Logic " by Krishnendu Chatterjee , Thomas A. Henzinger…