Skip to content

CONCUR 2026

International Conference on Concurrency Theory

Theory

Cycle closed, awaiting the next call

All deadlines

AbstractApr 20, 2026est.
Paper submissionApr 27, 2026est.

From past proceedings

Papers in CONCUR's main DBLP volume each year, not official acceptance counts.

Full proceedings stats →

Papers in 2025

39

main DBLP volume

5-year change

-22%

vs 2020

Papers, all years

1,499

40 years since 1984

Authors per paper

3.2

3.2 in 2015

By an entirely new team

8%

of 2025 papers

Papers per year1984 to 2025
1984: 25 papers1988: 26 papers1989: 18 papers1990: 36 papers1991: 37 papers1992: 39 papers1993: 37 papers1994: 37 papers1995: 40 papers1996: 44 papers1997: 28 papers1998: 41 papers1999: 38 papers2000: 42 papers2001: 38 papers2002: 39 papers2003: 33 papers2004: 33 papers2005: 42 papers2006: 33 papers2007: 33 papers2008: 39 papers2009: 41 papers2010: 40 papers2011: 36 papers2012: 39 papers2013: 38 papers2014: 39 papers2015: 38 papers2016: 37 papers2017: 40 papers2018: 42 papers2019: 41 papers2020: 50 papers2021: 36 papers2022: 37 papers2023: 39 papers2024: 40 papers2025: 39 papers
Read the 2025 proceedingsProceedings ↗DBLP ↗

Top keywords, 2025

gamestemporalverificationautomatabisimilarityprobabilisticreductiontimedchancecompositionalmonitorabilityobjectives

Venues like CONCUR

  1. ATVA International Symposium on Automated Technology for Verification and Analysis0.28automatatemporal logicchihyperproperties
  2. CAV International Conference on Computer-Aided Verification0.23automatareachabilityhyperpropertieschecking
  3. LICS IEEE Symposium on Logic in Computer Science0.19automatalogicsreachabilityregular
  4. VMCAI International Conference on Verification, Model Checking, and Abstract Interpretation0.18reachabilityautomataconcurrent programschecking

Most published at CONCUR

  1. Thomas A. Henzinger1994 to 202645
  2. Javier Esparza1990 to 202622
  3. Jean-François Raskin1998 to 202622
  4. Orna Kupferman1995 to 202621
  5. Paul Gastin1996 to 202519

Who publishes here

2025 to 2026 · papers count once per institution on them

Academia 57%Industry 0%Government and other 43%

Institutions

  1. 1Centre National de la Recherche Scientifique🇫🇷16
  2. 2Institut national de recherche en sciences et technologies du numérique🇫🇷9
  3. 3University of Liverpool🇬🇧6
  4. 4Max Planck Institute for Software Systems🇩🇪6
  5. 5École Normale Supérieure de Lyon🇫🇷4
  6. 6Max Planck Society🇩🇪4
  7. 7Indian Institute of Technology Bombay🇮🇳4
  8. 8Aalborg University🇩🇰4

Countries

  1. France15
  2. United Kingdom13
  3. Germany10
  4. Austria5
  5. Italy5
  6. Japan5

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.