Difference between revisions of "VMCAI 2019"
Jump to navigation
Jump to search
Tim Holzheim (talk | contribs) (pushed from or by wikipush) |
Tim Holzheim (talk | contribs) (edited by wikiedit) |
||
| Line 3: | Line 3: | ||
|Title=20th International Conference on Verification, Model Checking, and Abstract Interpretation | |Title=20th International Conference on Verification, Model Checking, and Abstract Interpretation | ||
|Series=VMCAI | |Series=VMCAI | ||
| − | | | + | |Event type=Conference |
|Start date=2019/01/13 | |Start date=2019/01/13 | ||
|End date=2019/01/15 | |End date=2019/01/15 | ||
Latest revision as of 11:25, 8 March 2021
| VMCAI 2019 | |
|---|---|
20th International Conference on Verification, Model Checking, and Abstract Interpretation
| |
| Event in series | VMCAI |
| Dates | 2019/01/13 (iCal) - 2019/01/15 |
| Homepage: | https://popl19.sigplan.org/track/vmcai-2019 |
| Location | |
| Location: | Cascais, Portugal |
| Papers: | Submitted 62 / Accepted 27 (43.5 %) |
| Committees | |
| PC members: | Miltiadis Allamanis, Timos Antonopoulos, Domagoj Babic, Josh Berdine, Ahmed Bouajjani |
| Keynote speaker: | Nuno P. Lopes, Kedar Namjoshi, Sylvie Putot |
| Table of Contents | |