Page values for "CAV 2015"

Jump to: navigation, search
Retrieved from "https://www.openresearch.org/wiki/CAV_2015"
Facts about "CAV 2015"
RDF feed
Acceptance rate27.0 +
Accepted papers68 +
AcronymCAV 2015 +
End dateJuly 24, 2015 +
Event in seriesCAV +
Event typeConference +
Has coordinates37° 46' 44", -122° 25' 12"Latitude: 37.779025
Longitude: -122.41990555556 +
Has location citySan Francisco +
Has location countryCategory:USA +
Has location stateCalifornia +
Homepagehttp://i-cav.org/2015/ +
IsAEvent +
Ordinal27 +
Start dateJuly 18, 2015 +
Submitted papers252 +
TitleComputer Aided Verification +