View source for VMCAI 2017

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.

Return to VMCAI 2017.

Facts about "VMCAI 2017"
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' 24", 2° 21' 5"Latitude: 48.856697222222
Longitude: 2.3514611111111
+
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 +