CAV 2000

From Openresearch
Jump to: navigation, search
CAV 2000
Computer Aided Verification
Ordinal 12
Event in series CAV
Dates 2000/07/15 (iCal) - 2000/07/19
Location
Location: Chicago, Illinois, USA
Loading map...

Papers: Submitted 91 / Accepted 35 (38.5 %)
Table of Contents


Facts about "CAV 2000"
Acceptance rate38.5 +
Accepted papers35 +
AcronymCAV 2000 +
End dateJuly 19, 2000 +
Event in seriesCAV +
Event typeConference +
Has coordinates41° 51' 10", -87° 39' 50"Latitude: 41.852780555556
Longitude: -87.664
+
Has location cityChicago +
Has location countryCategory:USA +
Has location stateIllinois +
IsAEvent +
Ordinal12 +
Start dateJuly 15, 2000 +
Submitted papers91 +
TitleComputer Aided Verification +