Revision history of "VMCAI 2020"

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.

关于“VMCAI 2020”的事实
Acceptance rate47.7 +
Accepted papers21 +
AcronymVMCAI 2020 +
End date2020年1月21日 (二) +
Event in seriesVMCAI +
Event typeConference +
Has coordinates29° 58' 34", -90° 4' 42"Latitude: 29.975997222222
Longitude: -90.078213888889
+
Has location cityNew Orleans +
Has location countryCategory:USA +
Has location stateLouisiana +
Has program chairDirk Beyer +Damien Zufferey +
Homepagehttps://popl20.sigplan.org/home/VMCAI-2020 +
IsAEvent +
Start date2020年1月19日 (日) +
Submitted papers44 +
Title21st International Conference on Verification, Model Checking, and Abstract Interpretation +