Difference between revisions of "ATVA"

From Openresearch
Jump to: navigation, search
(CSV conf series import)
 
m
 
Line 1: Line 1:
 
{{Event series
 
{{Event series
|acronym=ATVA
+
|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
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:

 OrdinalFromToCityCountryGeneral chairPC chairAcceptance rateAttendees
ATVA 2020Oct 19Oct 23HanoiVietnamPham Bao SonDang Van Hung
Oleg Sokolsky
ATVA 2019Oct 27Oct 31TaipeiTaiwanYu-Fang Chen
Chih-Hong Cheng
Javier Esparza
36.9
ATVA 2018Oct 7Oct 10Los AngelesUSAShuvendu Lahiri
Chao Wang
32.9

Number of Submitted and Accepted Papers (Main Track)

Loading...

Acceptance Rate

Loading...

Locations

Loading map...