View source for VMCAI 2020

{{Event
|Acronym=VMCAI 2020
|Title=21st International Conference on Verification, Model Checking, and Abstract Interpretation
|Series=VMCAI
|Type=Conference
|Start date=2020/01/19
|End date=2020/01/21
|Homepage=https://popl20.sigplan.org/home/VMCAI-2020
|City=New Orleans
|State=Louisiana
|Country=USA
|has program chair=Dirk Beyer, Damien Zufferey
|has Proceedings Link=https://linkspringer.com/book/10.1007/978-3-030-39322-9
}}
Acceptance rate	47.7 +
Accepted papers	21 +
Acronym	VMCAI 2020 +
End date	January 21, 2020 +
Event in series	VMCAI +
Event type	Conference +
Has coordinates	29° 57' 0", -90° 4' 12"Latitude: 29.949933333333 Longitude: -90.070116666667 +
Has location city	New Orleans +
Has location country	Category:USA +
Has location state	Louisiana +
Has program chair	Dirk Beyer + and Damien Zufferey +
Homepage	https://popl20.sigplan.org/home/VMCAI-2020 +
IsA	Event +
Start date	January 19, 2020 +
Submitted papers	44 +
Title	21st International Conference on Verification, Model Checking, and Abstract Interpretation +