CAV 2019
Revision as of 11:40, 15 March 2019 by Tolga.karaarslan (talk | contribs) (Tolga.karaarslan moved page CAV 2019 to OpenResearch:CAV)
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, United States of America |
Loading map... | |
Table of Contents | |
Facts about "CAV 2019"
Acceptance rate | 25.2 + |
Accepted papers | 65 + |
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 + |
Ordinal | 31 + |
Start date | July 15, 2019 + |
Submitted papers | 258 + |
Title | International Conference on Computer-Aided Verification + |