VMCAI 2019: Difference between revisions
Created page with "{{Event |Acronym=VMCAI 2019 |Title=20th International Conference on Verification, Model Checking, and Abstract Interpretation |Series=VMCAI |Type=Conference |City=Cascais |Cou..." |
No edit summary |
||
| Line 4: | Line 4: | ||
|Series=VMCAI | |Series=VMCAI | ||
|Type=Conference | |Type=Conference | ||
|Start date=2019/01/13 | |||
|End date=2019/01/15 | |||
|Homepage=https://popl19.sigplan.org/track/vmcai-2019 | |||
|City=Cascais | |City=Cascais | ||
|Country=Portugal | |Country=Portugal | ||
|Has PC member=Miltiadis Allamanis, Timos Antonopoulos, Domagoj Babic, Josh Berdine, Ahmed Bouajjani | |||
|has Keynote speaker=Nuno P. Lopes, Kedar Namjoshi, Sylvie Putot | |||
|Submitted papers=62 | |Submitted papers=62 | ||
|Accepted papers=27 | |Accepted papers=27 | ||
}} | }} | ||
Latest revision as of 04:14, 15 May 2020
| 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 | |