CAV 2020

From Openresearch
Jump to: navigation, search
CAV 2020
Computer Aided Verification
Event in series CAV
Dates 2020/07/19 (iCal) - 2020/07/24
Homepage: http://i-cav.org/2020/
Location
Location: Los Angeles, USA
Loading map...

Table of Contents


Event


Facts about "CAV 2020"
AcronymCAV 2020 +
End dateJuly 24, 2020 +
Event in seriesCAV +
Has coordinates34° 3' 13", -118° 14' 34"Latitude: 34.053691666667
Longitude: -118.24276666667
+
Has location cityLos Angeles +
Has location countryCategory:USA +
Homepagehttp://i-cav.org/2020/ +
IsAEvent +
Start dateJuly 19, 2020 +
TitleComputer Aided Verification +