Difference between revisions of "ATVA"
(CSV conf series import) |
m |
||
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 10: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)
Loading...
Acceptance Rate
Loading...
Locations
Loading map...
Facts about "ATVA"
EventSeries acronym | ATVA + |
Field | Category:Theory of computation + |
Has Average 5y Acceptance Rate | 34.9 + |
Has Average Acceptance Rate | 34.9 + |
Has CORE Rank | A + |
Homepage | http://atva-conference.org/ + |
IsA | EventSeries + |
Title | International Symposium on Automated Technology for Verification and Analysis + |