ATVA

From Openresearch
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:

 FromToCityCountryGeneral 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

Submission/Acceptance

Loading...

Locations

Loading map...

isA:Event series