VMCAI 2020

From Openresearch
Jump to: navigation, search
VMCAI 2020
21st International Conference on Verification, Model Checking, and Abstract Interpretation
Event in series VMCAI
Dates 2020/01/19 (iCal) - 2020/01/21
Homepage: https://popl20.sigplan.org/home/VMCAI-2020
Location
Location: New Orleans, Louisiana, USA
Loading map...

Papers: Submitted 44 / Accepted 21 (47.7 %)
Committees
PC chairs: Dirk Beyer, Damien Zufferey
Table of Contents


Facts about "VMCAI 2020"
Acceptance rate47.7 +
Accepted papers21 +
AcronymVMCAI 2020 +
End dateJanuary 21, 2020 +
Event in seriesVMCAI +
Event typeConference +
Has coordinates29° 57' 0", -90° 4' 12"Latitude: 29.949933333333
Longitude: -90.070116666667
+
Has location cityNew Orleans +
Has location countryCategory:USA +
Has location stateLouisiana +
Has program chairDirk Beyer + and Damien Zufferey +
Homepagehttps://popl20.sigplan.org/home/VMCAI-2020 +
IsAEvent +
Start dateJanuary 19, 2020 +
Submitted papers44 +
Title21st International Conference on Verification, Model Checking, and Abstract Interpretation +