CAV 2008

From Openresearch
Jump to: navigation, search
CAV 2008
Computer Aided Verification
Ordinal 20
Event in series CAV
Dates 2008/07/07 (iCal) - 2008/07/14
Homepage: http://www.princeton.edu/cav2008/
Location
Location: Princeton, USA
Loading map...

Papers: Submitted 104 / Accepted 33 (31.7 %)
Table of Contents


Facts about "CAV 2008"
Acceptance rate31.7 +
Accepted papers33 +
AcronymCAV 2008 +
End dateJuly 14, 2008 +
Event in seriesCAV +
Event typeConference +
Has coordinates40° 20' 59", -74° 39' 35"Latitude: 40.349694444444
Longitude: -74.659738888889
+
Has location cityPrinceton +
Has location countryCategory:USA +
Homepagehttp://www.princeton.edu/cav2008/ +
IsAEvent +
Ordinal20 +
Start dateJuly 7, 2008 +
Submitted papers104 +
TitleComputer Aided Verification +