View source for CAV 2016

{{Event
|Acronym=CAV 2016
|Title=Computer Aided Verification
|Ordinal=28
|Series=CAV
|Type=Conference
|Field=Computer-Aided Verification
|Start date=2016/07/17
|End date=2016/07/23
|Homepage=http://i-cav.org/2016/
|City=Toronto
|State=Ontario
|Country=Canada
|Submitted papers=165
|Accepted papers=46
|has Proceedings Link=https://www.springer.com/gp/book/9783319415277
}}
Acceptance rate	27.9 +
Accepted papers	46 +
Acronym	CAV 2016 +
End date	July 23, 2016 +
Event in series	CAV +
Event type	Conference +
Has coordinates	43° 39' 13", -79° 23' 2"Latitude: 43.653480555556 Longitude: -79.383933333333 +
Has location city	Toronto +
Has location country	Category:Canada +
Has location state	Ontario +
Homepage	http://i-cav.org/2016/ +
IsA	Event +
Ordinal	28 +
Start date	July 17, 2016 +
Submitted papers	165 +
Title	Computer Aided Verification +