Revision history of "VMCAI 2020"
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 rate | 47.7 + |
Accepted papers | 21 + |
Acronym | VMCAI 2020 + |
End date | 2020年1月21日 (二) + |
Event in series | VMCAI + |
Event type | Conference + |
Has coordinates | 29° 58' 34", -90° 4' 42"Latitude: 29.975997222222 Longitude: -90.078213888889 + |
Has location city | New Orleans + |
Has location country | Category:USA + |
Has location state | Louisiana + |
Has program chair | Dirk Beyer +和Damien Zufferey + |
Homepage | https://popl20.sigplan.org/home/VMCAI-2020 + |
IsA | Event + |
Start date | 2020年1月19日 (日) + |
Submitted papers | 44 + |
Title | 21st International Conference on Verification, Model Checking, and Abstract Interpretation + |