VMCAI
Jump to navigation
Jump to search
Event series
| 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
| OrdinalOrdinal of the event e.g. 1 for 1st. | Year | From | To | City | Country | presence | Homepage | GND | dblp | WikiCFP | WikidataUsed to provide the identifier with which an entity is indexed in Wikidata. | Submitted papers | Acceptance rate | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| VMCAI 2020 | 2020 | Jan 19 | Jan 21 | New Orleans | US | 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 | US | 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
Locations