International Symposium on Automated Technology for Verification and Analysis (ATVA) has an average acceptance rate of 34.9%
(last 5 years 34.9%).
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":""}]}
