ATVA
| ATVA | |
|---|---|
International Symposium on Automated Technology for Verification and Analysis
| |
Categories: Theory of computation
| |
| CORE Rank (2026): | B |
| CORE Rank (2023): | B |
| CORE Rank (2017): | A |
| Avg. acceptance rate: | 30.5 |
| Avg. acceptance rate (last 5 years): | 28.6 |
| Table of Contents | |
International Symposium on Automated Technology for Verification and Analysis (ATVA) has an average acceptance rate of 30.5% (last 5 years 28.6%).
Events
The following events of the series ATVA are currently known in this wiki:
| Ordinal | From | To | City | Country | General chair | PC chair | Submitted papers | Accepted papers | Acceptance rate | Attendees | |
|---|---|---|---|---|---|---|---|---|---|---|---|
| ATVA 2026 | 24 | Oct 19 | Oct 22 | Kuala Lumpur | Malaysia | Jun Sun | Yu-Fang Chen Akihisa Yamada | ||||
| ATVA 2025 | 23 | Oct 27 | Oct 31 | Bengaluru | India | Deepak D'Souza | Meenakshi D'Souza Raghavan Komondoor | 59 | 21 | 35.6 | |
| ATVA 2023 | 22 | Oct 21 | Oct 24 | Kyoto | Japan | Ichiro Hasuo | Sriram Sankaranarayanan S Akshay Aina Niemetz | 150 | 30 | 20.0 | |
| ATVA 2024 | 22 | Oct 21 | Oct 24 | Kyoto | Japan | Ichiro Hasuo | Sriram Sankaranarayanan S Akshay Aina Niemetz | 73 | 24 | 32.9 | |
| ATVA 2022 | 21 | Oct 24 | Oct 27 | Singapore | Singapore | Jin Song Dong | Étienne André Jun Sun | 81 | 21 | 25.9 | |
| ATVA 2021 | 19 | Oct 18 | Oct 22 | Gold Coast | Australia | Jin Song Dong; Jing Sun | Zhe Hou; Vijay Ganesh | 61 | 18 | 29.5 | |
| ATVA 2020 | Oct 19 | Oct 23 | Hanoi | Vietnam | Pham Bao Son | Oleg Sokolsky Dang Van Hung | |||||
| ATVA 2019 | Oct 27 | Oct 31 | Taipei | Taiwan | Yu-Fang Chen Chih-Hong Cheng Javier Esparza | 65 | 24 | 36.9 | |||
| ATVA 2018 | Oct 7 | Oct 10 | Los Angeles | USA | Chao Wang Shuvendu Lahiri | 82 | 27 | 32.9 | |||
| ATVA 2009 | Oct 14 | Oct 16 | Macao SAR | China |
Number of Submitted and Accepted Papers (Main Track)
Acceptance Rate
Locations