CAV 2006
CAV 2006 | |
---|---|
Event in series | CAV |
Dates | 2006 - |
Homepage: | http://dblp.uni-trier.de/db/conf/cav/cav2006.html |
Location | |
Location: | Seattle, Washnton, USA |
Loading map... | |
Table of Contents | |
The following coordinate was not recognized: Geocoding failed.
The following coordinate was not recognized: Geocoding failed.
Facts about "CAV 2006"
Acceptance rate | 28.9 + |
Accepted papers | 35 + |
Acronym | CAV 2006 + |
End date | August 20, 2006 + |
Event in series | CAV + |
Event type | Conference + |
Has coordinates | 47° 36' 14", -122° 19' 48"Latitude: 47.603833333333 Longitude: -122.33006111111 + |
Has location city | Seattle + |
Has location country | Category:USA + |
Has location state | Washington + |
Homepage | http://dblp.uni-trier.de/db/conf/cav/cav2006.html + |
IsA | Event + |
Ordinal | 18 + |
Start date | August 17, 2006 + |
Submitted papers | 121 + |
Title | Computer Aided Verification + |