Difference between revisions of "VMCAI 2020"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=VMCAI 2020 |Title=21st International Conference on Verification, Model Checking, and Abstract Interpretation |Series=VMCAI |Type=Conference }}") |
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
||
| (2 intermediate revisions by one other user not shown) | |||
| Line 4: | Line 4: | ||
|Series=VMCAI | |Series=VMCAI | ||
|Type=Conference | |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 | ||
| + | |Submitted papers=44 | ||
| + | |Accepted papers=21 | ||
| + | |has Proceedings Link=https://linkspringer.com/book/10.1007/978-3-030-39322-9 | ||
| + | |pageCreator=Kirsten.Goschenhofer | ||
| + | |pageEditor=Kirsten.Goschenhofer | ||
| + | |contributionType=1 | ||
}} | }} | ||
Latest revision as of 20:00, 1 April 2022
| 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 |
| Papers: | Submitted 44 / Accepted 21 (47.7 %) |
| Committees | |
| PC chairs: | Dirk Beyer, Damien Zufferey |
| Table of Contents | |