VMCAI 2020
Revision as of 10:08, 19 March 2020 by Kirsten.Goschenhofer (talk | contribs) (Created page with "{{Event |Acronym=VMCAI 2020 |Title=21st International Conference on Verification, Model Checking, and Abstract Interpretation |Series=VMCAI |Type=Conference }}")
| VMCAI 2020 | |
|---|---|
21st International Conference on Verification, Model Checking, and Abstract Interpretation
| |
| Event in series | VMCAI |
| Location: | |
| Table of Contents | |
The following coordinate was not recognized: Geocoding failed.
The following coordinate was not recognized: Geocoding failed.
Facts about "VMCAI 2020"
| Acronym | VMCAI 2020 + |
| End date | January 21, 2020 + |
| Event in series | VMCAI + |
| Event type | Conference + |
| Has coordinates | 29° 58' 34", -90° 4' 42"Latitude: 29.975997222222 Longitude: -90.078213888889 + |
| 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 + |
| Title | 21st International Conference on Verification, Model Checking, and Abstract Interpretation + |
