Revision history of "VMCAI 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/VMCAI_2018"
Facts about "VMCAI 2018"
RDF feed
Acceptance rate55.8 +
Accepted papers24 +
AcronymVMCAI 2018 +
End dateJanuary 9, 2018 +
Event in seriesVMCAI +
Event typeConference +
Has Keynote speakerAzadeh Farzan +, Ranjit Jhala + and Kenneth L. McMillan +
Has PC memberJade Alglave +, Roderick Bloem +, Wei-Ngan Chin +, Maria Christakis + and Patrick Cousot +
Has coordinates34° 3' 13", -118° 14' 34"Latitude: 34.053691666667
Longitude: -118.24276666667 +
Has location cityLos Angeles +
Has location countryCategory:USA +
Has location stateCalifornia +
Homepagehttps://popl18.sigplan.org/track/VMCAI-2018 +
IsAEvent +
Start dateJanuary 7, 2018 +
Submitted papers43 +
Title19th International Conference on Verification, Model Checking, and Abstract Interpretation +