View source for CAV 2015

{{Event
|Acronym=CAV 2015
|Title=Computer Aided Verification
|Ordinal=27
|Series=CAV
|Type=Conference
|Field=Computer-Aided Verification
|Start date=2015/07/18
|End date=2015/07/24
|Homepage=http://i-cav.org/2015/
|City=San Francisco
|State=California
|Country=USA
|Submitted papers=252
|Accepted papers=68
|has Proceedings Link=https://www.springer.com/gp/book/9783319216898
}}
Acceptance rate	27.0 +
Accepted papers	68 +
Acronym	CAV 2015 +
End date	July 24, 2015 +
Event in series	CAV +
Event type	Conference +
Has coordinates	37° 46' 44", -122° 25' 12"Latitude: 37.779025 Longitude: -122.41990555556 +
Has location city	San Francisco +
Has location country	Category:USA +
Has location state	California +
Homepage	http://i-cav.org/2015/ +
IsA	Event +
Ordinal	27 +
Start date	July 18, 2015 +
Submitted papers	252 +
Title	Computer Aided Verification +