Revision history of "CAV 2017"

Jump to: navigation, search

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.

Retrieved from "https://www.openresearch.org/wiki/CAV_2017"
Facts about "CAV 2017"
RDF feed
Acceptance rate26.2 +
Accepted papers50 +
AcronymCAV 2017 +
End dateJuly 28, 2017 +
Event in seriesCAV +
Event typeConference +
Has coordinates49° 24' 34", 8° 41' 41"Latitude: 49.409358333333
Longitude: 8.694725 +
Has location cityHeidelberg +
Has location countryCategory:Germany +
Homepagehttp://cavconference.org/2017/ +
IsAEvent +
Ordinal29 +
Start dateJuly 24, 2017 +
Submitted papers191 +
TitleInternational Conference on Computer Aided Verification +