ATVA

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:

	Ordinal	From	To	City	Country	General chair	PC chair	Submitted papers	Acceptance rate	Attendees
ATVA 2020		Oct 19	Oct 23	Hanoi	Vietnam	Pham Bao Son	Dang Van Hung Oleg Sokolsky
ATVA 2019		Oct 27	Oct 31	Taipei	Taiwan		Yu-Fang Chen Chih-Hong Cheng Javier Esparza	65	36.9
ATVA 2018		Oct 7	Oct 10	Los Angeles	USA		Shuvendu Lahiri Chao Wang	82	32.9

Number of Submitted and Accepted Papers (Main Track)

Loading...

Acceptance Rate

Loading...

Locations

Loading map...

{"format":"openlayers","minzoom":false,"maxzoom":false,"limit":50,"offset":0,"link":"all","sort":[""],"order":[],"headers":"show","mainlabel":"","intro":"","outro":"","searchlabel":"... further results","default":"","width":"auto","height":"350px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"wmsoverlay":false,"copycoords":false,"static":false,"zoom":false,"controls":["layerswitcher","mouseposition","autopanzoom","scaleline","navigation"],"layers":["new OpenLayers.Layer.OSM.Mapnik(\"OSM Mapnik\")","new OpenLayers.Layer.OSM.CycleMap(\"OSM Cycle Map\")"],"resizable":false,"overlays":[],"searchmarkers":"","kml":[],"showtitle":true,"hidenamespace":false,"template":"","userparam":"","activeicon":"","pagelabel":false,"ajaxcoordproperty":"","ajaxquery":"","locations":[{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/ATVA_2018\" title=\"ATVA 2018\"\u003EATVA 2018\u003C/a\u003E\u003C/b\u003E","title":"ATVA 2018","link":"","lat":34.053691666667,"lon":-118.24276666667,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/ATVA_2019\" title=\"ATVA 2019\"\u003EATVA 2019\u003C/a\u003E\u003C/b\u003E","title":"ATVA 2019","link":"","lat":25.037519444444,"lon":121.56368055556,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/ATVA_2020\" title=\"ATVA 2020\"\u003EATVA 2020\u003C/a\u003E\u003C/b\u003E","title":"ATVA 2020","link":"","lat":21.02945,"lon":105.85444444444,"icon":""}]}