CS-Pedia
Best Papers/CONCUR

CONCUR Best Papers

International Conference on Concurrency Theory

4 papers · 2025–2026

← CONCUR Conference Info

🏆 2026(3)

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
Best Paper Award
Reachability in Fixed-Dimensional Continuous VASS
Michal Ajdarów; A. R. Balasubramanian; Łukasz Orlikowski

🏆 2025(1)

Best Paper Award
Compositional Active Learning of Synchronizing Systems Through Automated Alphabet Refinement
Henry, Mousavi, Neele & Sammartino
Active LearningAutomata