Edit Event: VMCAI 2020
You do not have permission to edit this page, for the following reason:
Facts about "VMCAI 2020"
Acceptance rate | 47.7 + |
Accepted papers | 21 + |
Acronym | VMCAI 2020 + |
End date | January 21, 2020 + |
Event in series | VMCAI + |
Event type | Conference + |
Has coordinates | 29Β° 57' 0", -90Β° 4' 12"Latitude: 29.949933333333 Longitude: -90.070116666667 + |
Has location city | New Orleans + |
Has location country | Category:USA + |
Has location state | Louisiana + |
Has program chair | Dirk Beyer + and Damien Zufferey + |
Homepage | https://popl20.sigplan.org/home/VMCAI-2020 + |
IsA | Event + |
Start date | January 19, 2020 + |
Submitted papers | 44 + |
Title | 21st International Conference on Verification, Model Checking, and Abstract Interpretation + |