As annoounced on the CONCUR 2026 website, the 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 and Nir Piterman.
Congratulations to the award recipients and to the CONCUR community as a whole! The award committee made a truly wonderful choice.
No comments:
Post a Comment