Revision history of "CAV 2017"
Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.
Facts about "CAV 2017"
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 + |