VMCAI

VMCAI
Verification, Model Checking and Abstract Interpretation
CORE Rank (2018):	B
Avg. acceptance rate:	48
Avg. acceptance rate (last 5 years):	48
Table of Contents

Verification, Model Checking and Abstract Interpretation (VMCAI) has an average acceptance rate of 48% (last 5 years 48%).

Events

The following events of the series VMCAI are currently known in this wiki:

	Ordinal	From	To	City	Country	General chair	PC chair	Submitted papers	Acceptance rate	Attendees
VMCAI 2020		Jan 19	Jan 21	New Orleans	USA		Dirk Beyer Damien Zufferey	44	47.7
VMCAI 2019		Jan 13	Jan 15	Cascais	Portugal			62	43.5
VMCAI 2018		Jan 7	Jan 9	Los Angeles	USA			43	55.8
VMCAI 2017		Jan 15	Jan 17	Paris	France		Ahmed Bouajjani David Monniaux	60	45.0

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/VMCAI_2017\" title=\"VMCAI 2017\"\u003EVMCAI 2017\u003C/a\u003E\u003C/b\u003E","title":"VMCAI 2017","link":"","lat":48.856697222222,"lon":2.3514611111111,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/VMCAI_2018\" title=\"VMCAI 2018\"\u003EVMCAI 2018\u003C/a\u003E\u003C/b\u003E","title":"VMCAI 2018","link":"","lat":34.053691666667,"lon":-118.24276666667,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/VMCAI_2019\" title=\"VMCAI 2019\"\u003EVMCAI 2019\u003C/a\u003E\u003C/b\u003E","title":"VMCAI 2019","link":"","lat":38.7224,"lon":-9.3969083333333,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/VMCAI_2020\" title=\"VMCAI 2020\"\u003EVMCAI 2020\u003C/a\u003E\u003C/b\u003E","title":"VMCAI 2020","link":"","lat":29.949933333333,"lon":-90.070116666667,"icon":""}]}