VMCAI 2020
Jump to navigation
Jump to search
Event Rating
median | worst |
---|---|
![]() |
![]() |
List of all ratings can be found at VMCAI 2020/rating
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: | US/LA/New Orleans, US/LA, US |
Papers: | Submitted 44 / Accepted 21 (47.7 %) |
Committees | |
PC chairs: | Dirk Beyer, Damien Zufferey |
Table of Contents | |