View source for VMCAI 2019

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 2019.

Retrieved from "https://www.openresearch.org/wiki/VMCAI_2019"
Facts about "VMCAI 2019"
RDF feed
Acceptance rate43.5 +
Accepted papers27 +
AcronymVMCAI 2019 +
End dateJanuary 15, 2019 +
Event in seriesVMCAI +
Event typeConference +
Has Keynote speakerNuno P. Lopes +, Kedar Namjoshi + and Sylvie Putot +
Has PC memberMiltiadis Allamanis +, Timos Antonopoulos +, Domagoj Babic +, Josh Berdine + and Ahmed Bouajjani +
Has coordinates38° 43' 21", -9° 23' 49"Latitude: 38.7224
Longitude: -9.3969083333333 +
Has location cityCascais +
Has location countryCategory:Portugal +
Homepagehttps://popl19.sigplan.org/track/vmcai-2019 +
IsAEvent +
Start dateJanuary 13, 2019 +
Submitted papers62 +
Title20th International Conference on Verification, Model Checking, and Abstract Interpretation +