CONCUR Best Papers
International Conference on Concurrency Theory
3 papers · 2025–2026
← CONCUR Conference Info🏆 2026(2)
Test of Time Award
A New Type System for Deadlock-Free Processes
Naoki Kobayashi
Test of Time Award
Strategy Logic
Krishnendu Chatterjee; Thomas A. Henzinger; Nir Piterman
🏆 2025(1)
Best Paper Award
Compositional Active Learning of Synchronizing Systems Through Automated Alphabet RefinementHenry, Mousavi, Neele & Sammartino
Active LearningAutomata