VMCAI

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

There are 4 events of the series VMCAI known to this wiki: VMCAI 2017, VMCAI 2018, VMCAI 2019, VMCAI 2020

	Ordinal	Year	From	To	City	Country	presence	Homepage	TibKatId	GND	dblp	WikiCFP	Wikidata	Submitted papers	Acceptance rate
VMCAI 2020		2020	Jan 19	Jan 21	New Orleans	USA		https://popl20.sigplan.org/home/VMCAI-2020						44	47.7
VMCAI 2019		2019	Jan 13	Jan 15	Cascais	Portugal		https://popl19.sigplan.org/track/vmcai-2019						62	43.5
VMCAI 2018		2018	Jan 7	Jan 9	Los Angeles	USA		https://popl18.sigplan.org/track/VMCAI-2018						43	55.8
VMCAI 2017		2017	Jan 15	Jan 17	Paris	France		https://conf.researchr.org/home/VMCAI-2017						60	45.0

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=VMCAI_2017\" title=\"VMCAI 2017\"\u003EVMCAI 2017\u003C/a\u003E\u003C/b\u003E","title":"VMCAI 2017","link":"","lat":48.858888888889,"lon":2.3200416666667,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=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=\"/or/index.php?title=VMCAI_2020\" title=\"VMCAI 2020\"\u003EVMCAI 2020\u003C/a\u003E\u003C/b\u003E","title":"VMCAI 2020","link":"","lat":29.975997222222,"lon":-90.078213888889,"icon":""}],"imageLayers":[]}