ATVA
| 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)
20
30
40
50
60
70
80
90
20
30
40
50
60
70
80
90
65
82
24
27
| Submitted papers | |
| Accepted papers |
Acceptance Rate
30
40
30
40
36.9
32.9
| Acceptance rate |
Locations
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 + |
