Revision history of "VMCAI 2019"

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_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° 41' 49", -9° 25' 14"Latitude: 38.696891666667
Longitude: -9.42045 +
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 +