Revision history of "VMCAI 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/VMCAI_2017"
Facts about "VMCAI 2017"
RDF feed
Acceptance rate45.0 +
Accepted papers27 +
AcronymVMCAI 2017 +
End dateJanuary 17, 2017 +
Event in seriesVMCAI +
Event typeConference +
Has PC memberErika Abraham +, Roderick Bloem +, Wei-Ngan Chin +, Deepak D’Souza + and Roberto Giacobazzi +
Has coordinates48° 51' 13", 2° 20' 54"Latitude: 48.853494444444
Longitude: 2.3483916666667 +
Has location cityParis +
Has location countryCategory:France +
Has program chairAhmed Bouajjani + and David Monniaux +
Homepagehttps://conf.researchr.org/home/VMCAI-2017 +
IsAEvent +
Start dateJanuary 15, 2017 +
Submitted papers60 +
Title18th International Conference on Verification, Model Checking, and Abstract Interpretation +