conferences.computer.science

All conferences / ATVA

ATVA

International Symposium on Automated Technology for Verification and Analysis

Editions listed15 Covered2008–2026 Rank nowCORE B

Editions

YearEd.HeldWhere Paper deadlineAcceptedRate
2026 24 1–5 Dec 2026 Hong Kong 🇭🇰 21 May ext. — —
2025 23 27–30 Oct 2025 Bangalore 🇮🇳 25 Apr +7 days 21 / 59 36%
2024 22 21–24 Oct 2024 Kyoto 🇯🇵 25 Apr +6 days 24 / 73 33%
2023 21 24–27 Oct 2023 Singapore 🇸🇬 11 May +7 days 37 / 115 32%
2022 20 25–28 Oct 2022 Beijing 🇨🇳 8 May — 31%
2021 19 18–22 Oct 2021 Online 23 Apr +14 days — 31%
2020 18 19–23 Oct 2020 Online 12 May +9 days — —
2019 17 28–31 Oct 2019 Taipei 🇹🇼 3 May — 42%
2018 16 7–10 Oct 2018 Los Angeles 🇺🇸 11 May +7 days — 40%
2017 15 4–6 Oct 2017 Pune 🇮🇳 28 Apr +7 days — 37%
2016 14 17–19 Oct 2016 Chiba 🇯🇵 13 May +17 days — —
2015 13 12–15 Oct 2015 Shanghai 🇨🇳 2 May — —
2014 — — — — 38%
2012, 2013 — not recorded here, which does not mean the conference did not meet
2011 — — — — 48%
2009, 2010 — not recorded here, which does not mean the conference did not meet
2008 — — — — 32%

A missing year does not mean the conference did not meet: coverage before 2008 has not been verified.

Acceptance rate over time

0%30%60%
  1. 2025 36% 21/59
  2. 2024 33% 24/73
  3. 2023 32% 37/115
  4. 2022 31%
  5. 2021 31%
  6. 2019 42%
  7. 2018 40%
  8. 2017 37%
  9. 2014 38%
  10. 2011 48%
  11. 2008 32%

Scale runs to 60%; the mid-line marks 30%. No figure published for 2015, 2016, 2020, 2026.

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.