CAV 2007

From Openresearch
Jump to: navigation, search
CAV 2007
Computer Aided Verification
Ordinal 19
Event in series CAV
Dates 2007/07/03 (iCal) - 2007/07/07
Homepage: http://www.cav2007.org/
Location
Location: Berlin, Germany
Loading map...

Papers: Submitted 134 / Accepted 33 (24.6 %)
Table of Contents


Facts about "CAV 2007"
Acceptance rate24.6 +
Accepted papers33 +
AcronymCAV 2007 +
End dateJuly 7, 2007 +
Event in seriesCAV +
Event typeConference +
Has coordinates52° 32' 12", 13° 22' 47"Latitude: 52.536633333333
Longitude: 13.379852777778
+
Has location cityBerlin +
Has location countryCategory:Germany +
Homepagehttp://www.cav2007.org/ +
IsAEvent +
Ordinal19 +
Start dateJuly 3, 2007 +
Submitted papers134 +
TitleComputer Aided Verification +