ATVA

International Symposium on Automated Technology for Verification and Analysis

Editions listed15 Covered2008–2026 Rank nowCORE B ProceedingsPaywalled

Editions

Year	Ed.	Held	Where	Paper deadline	Accepted	Rate
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	Kyōto 🇯🇵	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%

2025 36% 21/59
2024 33% 24/73
2023 32% 37/115
2022 31%
2021 31%
2019 42%
2018 40%
2017 37%
2014 38%
2011 48%
2008 32%

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

Submissions

2025 59
2024 73
2023 115

Scaled to this conference's own busiest year (115), so the shape is comparable across its editions but not between conferences.

How it has reviewed and published

Practice	15	16	17	18	19	20	21	22	23	24	25	26
Proceedings	•	•	•	•	•	•	•	•	•	•	•	•
Anonymity										D	D	D
Artifact evaluation					•					•	•	•

Practice

Proceedings

•

Anonymity

Artifact evaluation

•

A blank cell means nobody has checked that year, not that the answer is no. Licences are read as recorded on the edition, never inherited from the publisher.

Where it has met

Loads tiles from OpenStreetMap, which will see your IP address.

10 cities. 20152026

10 cities, 7 countries, 2 continents. Met online 2 times.

CORE rank over time

A 2008–2020 B 2021–

Ranked since the first CORE round.

Timing

Closes: between 23 Apr and 21 May, over the last 6 editions.
Decision: 47 days after the deadline (24–70 over 12 editions)
Then: 121 days to the conference (102–136)

No call is open. If it runs again and keeps to its habits, expect the next one to close in the same window — but that is this page reading a pattern, not an announcement.

Deadline habits

Extended: 9 of 9 editions
Typical: 6–17 days
Longest: 17 days
Not known: 3 editions

An edition counts as firm only when it was checked; a deadline with no earlier date recorded is counted as not known, not as firm.

Elsewhere

DBLP: atva ↗
CORE: portal entry 1357 ↗
Calendar: Subscribe to ATVA
Data: All editions as JSON

Notes carried over

Acceptance: 32% (2008), 36 / 75 = 48% (2011); (27+12+3)/(73+23) = 44% (2013?), 29/70+6 = 38% (2014), 22+9/78 = 37% (2017), 27+6/82=40% (2018), 24+3/65=42% (2019), 19+4/75=31% in 2021, 21+5/81=31% in 2022, 32% (30+7 / 115) in 2023, 33% (24/73) in 2024, 36% (21/59) in 2025

Extensions: 4 more days to edit the paper past the deadline in 2011. Deadline extension: 2 weeks (2013), 12 days (2014), 7 days (2015), 7 days (2017), 7 days (2018), 9 days (2020), 7 days (2021, 2023), 6 days (2024), 7 days (2025), unknown (2026)

Almost always in Asia.

Kept verbatim from the old site while it is being turned into structured data.

Spotted something wrong on this page? Tell us, with a source if you have one ↗

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the call for papers and/or the Web sites and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers might then move deadlines without telling anyone, which may lead to inconsistencies. So, treat this small page as a well-meaning notebook rather than an authority 🤓