International Symposium on Automated Technology for Verification and Analysis
International Symposium on Automated Technology for Verification and Analysis
Latest edition: ATVA 2026
Official Portals
Prestige Metrics & Badges
CORE Ranking2026
B
Software engineering
CCF RankingChina CF
CCF C
China Computer Federation
Google Scholar H5-IndexScholar
N/A
Top 5-year cited metric
Submission Deadlines & Live Countdown
ATVA 2026 • Hong Kong Sar China(1 – 4 Dec, 2026)
Main Track
(conference)Deadline: May 22, 2026
DEADLINE PASSED
Anywhere on Earth (UTC-12)
Submission Deadline Has Passed
Please check notifications or wait for the next conference edition.
Complete Track Deadlines
| Track / Round | Format | Abstract Due | Paper Submission | Rebuttal Period | Notification Date | Camera-Ready Due | Time Remaining |
|---|---|---|---|---|---|---|---|
Main Track | conference | May 20, 2026 | May 22, 2026 | — | TBA | TBA | Passed |
Multi-Source Prestige Rankings
Comparative classification across international academic evaluation bodies
| Ranking System | Evaluation Body | Classification | Edition / Year | Field / Scope | Prestige Significance |
|---|---|---|---|---|---|
| CORE Ranking | Computing Research and Education Association of Australasia | B | Year 2026 | Software engineering | Good conference (Top 35%–40% globally) |
| CCF Ranking | China Computer Federation (CCF) | Tier C | CCF 2022 Catalog | Computer Science | Important international conference |
| TH-CPL | Tsinghua University | N/A | TH-CPL List | CS & Engineering | Tsinghua Recommended Conference Publishing List |
| Qualis CAPES | CAPES (Brazilian Ministry of Education) | N/A | Sucupira / Qualis | Ciência da Computação | South American academic evaluation standard |
| CCF | Academic Association | C | N/A | General | International prestige ranking |
| CORE | Academic Association | B | N/A | General | International prestige ranking |
| THCPL | Academic Association | B | N/A | General | International prestige ranking |
Conference Editions Timeline
Locations, dates, proceedings, and historical tracks of past & future editions
2026
ATVA 2026
UpcomingHong Kong Sar, China
1 – 4 Dec, 2026
2025
ATVA 2025
UpcomingBengaluru, India
28 – 30 Oct, 2025
2023
ATVA 2023
UpcomingSingapore
25 – 27 Oct, 2023
2022
ATVA 2022
UpcomingBeijing, Virtual
26 – 28 Oct, 2022
2021
ATVA 2021
UpcomingGold Coast, Virtual
19 – 22 Oct, 2021
2019
International Symposium on Automated Technology for Verification and Analysis
PastTaipei, Taiwan
28 – 31 Oct, 2019
2018
International Symposium on Automated Technology for Verification and Analysis
PastLos Angeles, USA
7 – 10 Oct, 2018
2017
15th International Symposium on Automated Technology for Verification and Analysis
PastPune, India
3 – 6 Oct, 2017
2016
14th International Symposium on Automated Technology for Verification and Analysis
PastChiba, Japan
17 – 19 Oct, 2016
2015
13th International Symposium on Automated Technology for Verification and Analysis
PastShanghai, China
12 – 15 Oct, 2015
2014
International Symposium on Automated Technology for Verification and Analysis
PastSydney, Sydney
3 – 7 Nov, 2014
2013
International Symposium on Automated Technology for Verification and Analysis
PastHanoi, Vietnam
15 – 18 Oct, 2013
2012
10th International Symposium on Automated Technology for Verification and Analysis
PastThiruvananthapuram (Trivandrum), India
3 – 6 Oct, 2012
2010
8th International Symposium on Automated Technology for Verification and Analysis
PastSingapore
21 – 24 Sep, 2010
2009
7th International Symposium on Automated Technology for Verification and Analysis
PastMacao SAR, China
14 – 16 Oct, 2009
Academic Resources & External Links
Access DBLP archives, Papers With Code, and official conference portals
DBLP Computer Science
Comprehensive open bibliographic database tracking full papers across editions.
dblp.org ↗
Papers With Code
Explore trending papers, open-source code repositories, and leaderboards.
paperswithcode.com ↗
CORE Ranking Portal
Official evaluation catalog from Computing Research and Education Association.
portal.core.edu.au ↗