CAV 2015
Revision as of 16:06, 9 February 2021 by Saskia.Ernert (talk | contribs)
CAV 2015 | |
---|---|
Computer Aided Verification
| |
Ordinal | 27 |
Event in series | CAV |
Dates | 2015/07/18 (iCal) - 2015/07/24 |
Homepage: | http://i-cav.org/2015/ |
Location | |
Location: | San Francisco, California, USA |
Loading map... | |
Papers: | Submitted 252 / Accepted 68 (27 %) |
Table of Contents | |
Facts about "CAV 2015"
Acceptance rate | 27.0 + |
Accepted papers | 68 + |
Acronym | CAV 2015 + |
End date | July 24, 2015 + |
Event in series | CAV + |
Event type | Conference + |
Has coordinates | 37° 46' 44", -122° 25' 12"Latitude: 37.779025 Longitude: -122.41990555556 + |
Has location city | San Francisco + |
Has location country | Category:USA + |
Has location state | California + |
Homepage | http://i-cav.org/2015/ + |
IsA | Event + |
Ordinal | 27 + |
Start date | July 18, 2015 + |
Submitted papers | 252 + |
Title | Computer Aided Verification + |