Difference between revisions of "ATVA"
Jump to navigation
Jump to search
Tim Holzheim (talk | contribs) (fixed acronym (#136)) |
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
||
Line 5: | Line 5: | ||
|Field =Theory of computation | |Field =Theory of computation | ||
|Homepage=http://atva-conference.org/ | |Homepage=http://atva-conference.org/ | ||
+ | |pageCreator=Soeren | ||
+ | |pageEditor=Soeren | ||
+ | |contributionType=1 | ||
}} | }} |
Latest revision as of 21:09, 1 April 2022
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
There are 3 events of the series ATVA known to this wiki: ATVA 2018, ATVA 2019, ATVA 2020
Submission/Acceptance
Locations