Skip to content

ATVA 2026

International Symposium on Automated Technology for Verification and Analysis

Software Engineering

Cycle closed, awaiting the next call

All deadlines

AbstractMay 19, 2026est.
Paper submissionMay 21, 2026est.

From past proceedings

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

Full proceedings stats →

Papers in 2025

21

main DBLP volume

5-year change

-38%

vs 2020

Papers, all years

738

22 years since 2004

Authors per paper

4.0

3.2 in 2015

By an entirely new team

5%

of 2025 papers

Papers per year2004 to 2025
2004: 45 papers2005: 36 papers2006: 38 papers2007: 40 papers2008: 36 papers2009: 29 papers2010: 33 papers2011: 41 papers2012: 32 papers2013: 45 papers2014: 29 papers2015: 35 papers2016: 32 papers2017: 30 papers2018: 35 papers2019: 31 papers2020: 34 papers2021: 24 papers2022: 27 papers2023: 38 papers2024: 27 papers2025: 21 papers
Read the 2025 proceedingsProceedings ↗DBLP ↗

Top keywords, 2025

automatacertificatesgamesmarkovparametricspecificationsverification

Venues like ATVA

  1. CAV International Conference on Computer-Aided Verification0.31checkingautomatasynthesisverified
  2. CONCUR International Conference on Concurrency Theory0.28automatatemporal logicchihyperproperties
  3. FM International Symposium on Formal Methods0.22automatatemporal logicchiverified
  4. ICFEM International Conference on Formal Engineering Methods0.19automatacheckingtimed automataverification

Most published at ATVA

  1. Bernd Finkbeiner2005 to 202424
  2. Orna Kupferman2004 to 202523
  3. Jan Kretínský2011 to 202315
  4. Sven Schewe2005 to 202313
  5. Jean-François Raskin2007 to 202513

Who publishes here

2024 to 2025 · papers count once per institution on them

Academia 67%Industry 1%Government and other 32%

Institutions

  1. 1Centre National de la Recherche Scientifique🇫🇷4
  2. 2Radboud University Nijmegen🇳🇱3
  3. 3Max Planck Society🇩🇪3
  4. 4Indian Institute of Technology Bombay🇮🇳3
  5. 5Hebrew University of Jerusalem🇮🇱3
  6. 6Uppsala University🇸🇪2
  7. 7Université Libre de Bruxelles🇧🇪2
  8. 8Max Planck Institute for Software Systems🇩🇪2

Countries

  1. United States7
  2. India4
  3. Germany3
  4. France3
  5. Netherlands3
  6. Belgium2

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.