CAV 2012
CAV 2012 | |
---|---|
Computer Aided Verification
| |
Ordinal | 24 |
Event in series | CAV |
Dates | 2012/07/07 (iCal) - 2012/07/13 |
Homepage: | http://cav12.cs.illinois.edu/ |
Location | |
Location: | Berkeley, California, USA |
Loading map... | |
Papers: | Submitted 185 / Accepted 58 (31.4 %) |
Table of Contents | |
Facts about "CAV 2012"
Acceptance rate | 31.4 + |
Accepted papers | 58 + |
Acronym | CAV 2012 + |
End date | July 13, 2012 + |
Event in series | CAV + |
Event type | Conference + |
Has coordinates | 37° 52' 15", -122° 16' 22"Latitude: 37.870838888889 Longitude: -122.27286388889 + |
Has location city | Berkeley + |
Has location country | Category:USA + |
Has location state | California + |
Homepage | http://cav12.cs.illinois.edu/ + |
IsA | Event + |
Ordinal | 24 + |
Start date | July 7, 2012 + |
Submitted papers | 185 + |
Title | Computer Aided Verification + |