Papers in 2025
39
Papers, all years
1,499
Years indexed
40
Since
1984
Papers in main proceedings (DBLP)
Counts papers published in the venue's main DBLP volume each year. This is not an official acceptance count: it can include short papers and exclude workshop or companion volumes.
verified volumein progressnot yet verifiedClick a bar to open that year.
202539 papers✓ verified
36th International Conference on Concurrency Theory, CONCUR 2025, Aarhus, Denmark, August 26-29, 2025
Keywords
Phrases from paper titles, weighted against all venues so each venue's distinctive terms rise to the top.
Loading keywords...
Year by year
Who publishes here
2025 to 2026 · papers count once per institution on them
Academia 57%Industry 0%Government and other 43%
Institutions
- 1Centre National de la Recherche Scientifique🇫🇷16
- 2Institut national de recherche en sciences et technologies du numérique🇫🇷9
- 3University of Liverpool🇬🇧6
- 4Max Planck Institute for Software Systems🇩🇪6
- 5École Normale Supérieure de Lyon🇫🇷4
- 6Max Planck Society🇩🇪4
- 7Indian Institute of Technology Bombay🇮🇳4
- 8Aalborg University🇩🇰4
- 9Institute of Science and Technology Austria🇦🇹4
- 10University of Warsaw🇵🇱4
- 11Université Paris-Saclay🇫🇷3
- 12Institut de Recherche en Informatique et Systèmes Aléatoires🇫🇷3
Countries
- France15
- United Kingdom13
- Germany10
- Austria5
- Italy5
- Japan5
- Poland5
- China3
- Israel3
- Netherlands3
Affiliations from OpenAlex for the papers DBLP lists. A paper with authors from three institutions counts for each of them; the split above is over the top institutions.
Venues like CONCUR
Closest by the phrases in their paper titles over the last five complete years.
- ATVA International Symposium on Automated Technology for Verification and Analysis0.28automatatemporal logicchihyperpropertieschecking
- CAV International Conference on Computer-Aided Verification0.23automatareachabilityhyperpropertiescheckingtemporal logic
- LICS IEEE Symposium on Logic in Computer Science0.19automatalogicsreachabilityregulargames
- VMCAI International Conference on Verification, Model Checking, and Abstract Interpretation0.18reachabilityautomataconcurrent programscheckingpartial order reduction
- FM International Symposium on Formal Methods0.15automatachireachabilitytemporal logicstochastic games
Authors
From DBLP author lists of the main volume. Names appear as DBLP lists them.
Authors per paper
3.2 in 2026
Papers by an entirely new team
6% in 2026
Most published at CONCUR
- Thomas A. Henzinger1994 to 202645
- Javier Esparza1990 to 202622
- Jean-François Raskin1998 to 202622
- Orna Kupferman1995 to 202621
- Paul Gastin1996 to 202519
- Krishnendu Chatterjee2005 to 202619
- Nobuko Yoshida1998 to 202217
- Rupak Majumdar1999 to 202517
- Ugo Montanari1990 to 201116
- Parosh Aziz Abdulla1995 to 202016