Difference between revisions of "CAV 2012"
(CSV import) |
|||
Line 3: | Line 3: | ||
|Acronym=CAV 2012 | |Acronym=CAV 2012 | ||
|Series=CAV | |Series=CAV | ||
− | |Accepted papers= | + | |Accepted papers=58 |
+ | |Submitted papers=185 | ||
|City=Berkeley | |City=Berkeley | ||
|State=California | |State=California |
Revision as of 17:08, 30 September 2016
CAV 2012 | |
---|---|
Event in series | CAV |
Dates | 2012 - |
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 + |