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... | |
Papers: | Submitted 258 / Accepted 52 (20.2 %) |
Table of Contents | |
Facts about "CAV 2019"
Acceptance rate | 20.2 + |
Accepted papers | 52 + |
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 + |
Submitted papers | 258 + |
Title | 31st International Conference on Computer-Aided Verification + |