View source for Openresearch:CAV 2018

{{Event
|Acronym=CAV 2018
|Title=International Conference on Computer Aided Verification
|Ordinal=30
|Series=CAV
|Type=Conference
|Field=Computer-Aided Verification
|Start date=2018/07/14
|End date=2018/07/17
|Homepage=http://cavconference.org/2018/
|City=Oxford
|Country=United Kingdom
|Submitted papers=215
|Accepted papers=52
|has Proceedings Link=https://link.springer.com/book/10.1007/978-3-319-96145-3
|has Proceedings DOI=https://doi.org/10.1007/978-3-319-96145-3
}}
Acceptance rate	24.2 +
Accepted papers	52 +
Acronym	CAV 2018 +
End date	July 17, 2018 +
Event in series	CAV +
Event type	Conference +
Has coordinates	51° 45' 7", -1° 15' 28"Latitude: 51.752013888889 Longitude: -1.25785 +
Has location city	Oxford +
Has location country	Category:UK +
Homepage	http://cavconference.org/2018/ +
IsA	Event +
Ordinal	30 +
Start date	July 14, 2018 +
Submitted papers	215 +
Title	International Conference on Computer Aided Verification +