VMCAI 2020: Difference between revisions
No edit summary |
No edit summary |
||
| Line 11: | Line 11: | ||
|Country=USA | |Country=USA | ||
|has program chair=Dirk Beyer, Damien Zufferey | |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 | |has Proceedings Link=https://linkspringer.com/book/10.1007/978-3-030-39322-9 | ||
}} | }} | ||
Latest revision as of 04:05, 15 May 2020
| 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 | |