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":"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=\"/ormk/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=\"/ormk/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=\"/ormk/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":[]}