Openresearch:CAV 2018

From Openresearch
Jump to: navigation, search
CAV 2018
30th International Conference on Computer Aided Verification
Event in series CAV
Dates 2018/07/14 (iCal) - 2018/07/17
Homepage: http://cavconference.org/2018/
Location
Location: Oxford, United Kingdom
Loading map...

Papers: Submitted 215 / Accepted 52 (24.2 %)
Table of Contents


Facts about "CAV 2018"
Acceptance rate24.2 +
Accepted papers52 +
AcronymCAV 2018 +
End dateJuly 17, 2018 +
Event in seriesCAV +
Event typeConference +
Has coordinates51° 45' 7", -1° 15' 28"Latitude: 51.752013888889
Longitude: -1.25785
+
Has location cityOxford +
Has location countryCategory:United Kingdom +
Homepagehttp://cavconference.org/2018/ +
IsAEvent +
Start dateJuly 14, 2018 +
Submitted papers215 +
Title30th International Conference on Computer Aided Verification +