View source for CAV 2017

{{Event
|Acronym=CAV 2017
|Title=International Conference on Computer Aided Verification
|Ordinal=29
|Series=CAV
|Type=Conference
|Field=Computer-Aided Verification
|Start date=2017/07/24
|End date=2017/07/28
|Homepage=http://cavconference.org/2017/
|City=Heidelberg
|Country=Germany
|Submitted papers=191
|Accepted papers=50
|has Proceedings Link=Part 1:https://link.springer.com/book/10.1007%2F978-3-319-63387-9, Part 2: https://link.springer.com/book/10.1007%2F978-3-319-63390-9
|has Proceedings DOI=https://doi.org/10.1007/978-3-319-63387-9
}}
Acceptance rate	26.2 +
Accepted papers	50 +
Acronym	CAV 2017 +
End date	July 28, 2017 +
Event in series	CAV +
Event type	Conference +
Has coordinates	49° 24' 34", 8° 41' 41"Latitude: 49.409358333333 Longitude: 8.694725 +
Has location city	Heidelberg +
Has location country	Category:Germany +
Homepage	http://cavconference.org/2017/ +
IsA	Event +
Ordinal	29 +
Start date	July 24, 2017 +
Submitted papers	191 +
Title	International Conference on Computer Aided Verification +