Difference between revisions of "VMCAI 2017"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=VMCAI 2017 |Title=18th International Conference on Verification, Model Checking, and Abstract Interpretation |Series=VMCAI |Type=Conference |Start date=2017/0...") |
|||
| Line 9: | Line 9: | ||
|City=Paris | |City=Paris | ||
|Country=France | |Country=France | ||
| + | |has program chair=Ahmed Bouajjani, David Monniaux | ||
| + | |Has PC member=Erika Abraham, Roderick Bloem, Wei-Ngan Chin, Deepak D’Souza, Roberto Giacobazzi | ||
|Submitted papers=60 | |Submitted papers=60 | ||
|Accepted papers=27 | |Accepted papers=27 | ||
}} | }} | ||
Revision as of 06:35, 15 May 2020
| VMCAI 2017 | |
|---|---|
18th International Conference on Verification, Model Checking, and Abstract Interpretation
| |
| Event in series | VMCAI |
| Dates | 2017/01/15 (iCal) - 2017/01/17 |
| Homepage: | https://conf.researchr.org/home/VMCAI-2017 |
| Location | |
| Location: | Paris, France |
| Papers: | Submitted 60 / Accepted 27 (45 %) |
| Committees | |
| PC chairs: | Ahmed Bouajjani, David Monniaux |
| PC members: | Erika Abraham, Roderick Bloem, Wei-Ngan Chin, Deepak D’Souza, Roberto Giacobazzi |
| Table of Contents | |