ATVA
Revision as of 12:06, 28 January 2021 by Tim Holzheim (talk | contribs) (pushed from ori5 by wikipush)
Event series
| ATVA | |
|---|---|
International Symposium on Automated Technology for Verification and Analysis
| |
Categories: Theory of computation
| |
| CORE Rank (2017): | A |
| Avg. acceptance rate: | 34.9 |
| Avg. acceptance rate (last 5 years): | 34.9 |
| Table of Contents | |
International Symposium on Automated Technology for Verification and Analysis (ATVA) has an average acceptance rate of 34.9% (last 5 years 34.9%).
Events
There are 3 events of the series ATVA known to this wiki: ATVA 2018, ATVA 2019, ATVA 2020
| OrdinalOrdinal of the event e.g. 1 for 1st. | Year | From | To | City | Country | presence | Homepage | GND | dblp | WikiCFP | WikidataUsed to provide the identifier with which an entity is indexed in Wikidata. | General chair | PC chair | Submitted papers | Acceptance rate | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ATVA 2020 | 2020 | Oct 19 | Oct 23 | Hanoi | Vietnam | http://fit.uet.vnu.edu.vn/atva2020/ | Pham Bao Son | Oleg Sokolsky Dang Van Hung | ||||||||
| ATVA 2019 | 2019 | Oct 27 | Oct 31 | Taipei | Taiwan | http://atva2019.iis.sinica.edu.tw/ | Yu-Fang Chen Chih-Hong Cheng Javier Esparza | 65 | 36.9 | |||||||
| ATVA 2018 | 2018 | Oct 7 | Oct 10 | Los Angeles | US | http://atva-conference.org/ | Shuvendu Lahiri Chao Wang | 82 | 32.9 |
Submission/Acceptance
Locations