Revision history of "Openresearch:CAV 2018"

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/Openresearch:CAV_2018"
Facts about "CAV 2018"
RDF feed
Acceptance rate24.2 +
Accepted papers52 +
AcronymCAV 2018 +
End dateJuly 17, 2018 +
Event in seriesCAV +
Event typeConference +
Has coordinates51° 45' 7", -1° 15' 28"Latitude: 51.752013888889
Longitude: -1.25785 +
Has location cityOxford +
Has location countryCategory:UK +
Homepagehttp://cavconference.org/2018/ +
IsAEvent +
Ordinal30 +
Start dateJuly 14, 2018 +
Submitted papers215 +
TitleInternational Conference on Computer Aided Verification +