ATVA: Difference between revisions
CSV conf series import |
mNo edit summary |
||
| Line 1: | Line 1: | ||
{{Event series | {{Event series | ||
| | |Acronym=ATVA | ||
|Title=International Symposium on Automated Technology for Verification and Analysis | |Title=International Symposium on Automated Technology for Verification and Analysis | ||
|has CORE2017 Rank=A | |has CORE2017 Rank=A | ||
|Field=Theory of computation | |||
|Homepage=http://atva-conference.org/ | |||
|acronym=ATVA | |||
}} | }} | ||
Latest revision as of 09:53, 22 March 2020
| 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
The following events of the series ATVA are currently known in this wiki:
Number of Submitted and Accepted Papers (Main Track)
Acceptance Rate
Locations