ATVA

ATVA

ATVA
International Symposium on Automated Technology for Verification and Analysis
Categories: Theory of computation
http://atva-conference.org/
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

	Ordinal	Year	From	To	City	Country	presence	Homepage	TibKatId	GND	dblp	WikiCFP	Wikidata	General chair	PC chair	Submitted papers	Acceptance rate
ATVA 2020		2020	Oct 19	Oct 23	Hanoi	Vietnam		http://fit.uet.vnu.edu.vn/atva2020/						Pham Bao Son	Oleg Sokolsky Dang Van Hung
ATVA 2019		2019	Oct 27	Oct 31	Taipei	Taiwan		http://atva2019.iis.sinica.edu.tw/							Yu-Fang Chen Chih-Hong Cheng Javier Esparza	65	36.9
ATVA 2018		2018	Oct 7	Oct 10	Los Angeles	USA		http://atva-conference.org/							Chao Wang Shuvendu Lahiri	82	32.9

Submission/Acceptance

Loading...

Locations

Loading map...

{"format":"leaflet","minzoom":false,"maxzoom":false,"limit":50,"offset":0,"link":"all","sort":[""],"order":[],"headers":"show","mainlabel":"","intro":"","outro":"","searchlabel":"... further results","default":"","import-annotation":false,"width":"auto","height":"350px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","showtitle":true,"hidenamespace":true,"template":"","userparam":"","activeicon":"","pagelabel":false,"ajaxcoordproperty":"","ajaxquery":"","locations":[{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=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=\"/or/index.php?title=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=\"/or/index.php?title=ATVA_2020\" title=\"ATVA 2020\"\u003EATVA 2020\u003C/a\u003E\u003C/b\u003E","title":"ATVA 2020","link":"","lat":21.02945,"lon":105.85444444444,"icon":""}],"imageLayers":[]}