VMCAI
Jump to navigation
Jump to search
| 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 |
Add New Event:
Submission/Acceptance
Locations