VMCAI 2017
VMCAI 2017 | |
---|---|
18th International Conference on Verification, Model Checking, and Abstract Interpretation
| |
Event in series | VMCAI |
Dates | 2017/01/15 (iCal) - 2017/01/17 |
Homepage: | https://conf.researchr.org/home/VMCAI-2017 |
Location | |
Location: | Paris, France |
Loading map... | |
Papers: | Submitted 60 / Accepted 27 (45 %) |
Committees | |
PC chairs: | Ahmed Bouajjani, David Monniaux |
PC members: | Erika Abraham, Roderick Bloem, Wei-Ngan Chin, Deepak D’Souza, Roberto Giacobazzi |
Table of Contents | |
Facts about "VMCAI 2017"
Acceptance rate | 45.0 + |
Accepted papers | 27 + |
Acronym | VMCAI 2017 + |
End date | January 17, 2017 + |
Event in series | VMCAI + |
Event type | Conference + |
Has PC member | Erika Abraham +, Roderick Bloem +, Wei-Ngan Chin +, Deepak D’Souza + and Roberto Giacobazzi + |
Has coordinates | 48° 51' 24", 2° 21' 5"Latitude: 48.856697222222 Longitude: 2.3514611111111 + |
Has location city | Paris + |
Has location country | Category:France + |
Has program chair | Ahmed Bouajjani + and David Monniaux + |
Homepage | https://conf.researchr.org/home/VMCAI-2017 + |
IsA | Event + |
Start date | January 15, 2017 + |
Submitted papers | 60 + |
Title | 18th International Conference on Verification, Model Checking, and Abstract Interpretation + |