View source for VMCAI 2018

Jump to: navigation, search

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.

You can view and copy the source of this page.

Templates used on this page:

Return to VMCAI 2018.

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 +