ATVA

From Openresearch
Revision as of 21:52, 26 February 2020 by Soeren (talk | contribs) (CSV conf series import)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
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...