Difference between revisions of "VMCAI 2019"
(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...") |
|||
| 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 05: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 |
Loading map... | |
| 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 | |
The following coordinate was not recognized: Geocoding failed.
The following coordinate was not recognized: Geocoding failed.
Facts about "VMCAI 2019"
| Acceptance rate | 43.5 + |
| Accepted papers | 27 + |
| Acronym | VMCAI 2019 + |
| Event in series | VMCAI + |
| Event type | Conference + |
| Has location city | Cascais + |
| Has location country | Category:Portugal + |
| IsA | Event + |
| Submitted papers | 62 + |
| Title | 20th International Conference on Verification, Model Checking, and Abstract Interpretation + |
