CAV 2019
CAV 2019 | |
---|---|
31st International Conference on Computer-Aided Verification
| |
Event in series | CAV |
Dates | 2019/07/15 (iCal) - 2019/07/18 |
Homepage: | http://i-cav.org/2019/ |
Location | |
Location: | New York City, USA |
Loading map... | |
Table of Contents | |
Facts about "CAV 2019"
Acronym | CAV 2019 + |
End date | July 18, 2019 + |
Event in series | CAV + |
Event type | Conference + |
Has coordinates | 40° 42' 46", -74° 0' 22"Latitude: 40.712727777778 Longitude: -74.006013888889 + |
Has location city | New York City + |
Has location country | Category:USA + |
Homepage | http://i-cav.org/2019/ + |
IsA | Event + |
Start date | July 15, 2019 + |
Title | 31st International Conference on Computer-Aided Verification + |