Difference between revisions of "VMCAI 2019"
Jump to navigation
Jump to search
(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...") |
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
||
| (One intermediate revision by one other user not shown) | |||
| 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 | ||
| + | |pageCreator=Kirsten.Goschenhofer | ||
| + | |pageEditor=Kirsten.Goschenhofer | ||
| + | |contributionType=1 | ||
}} | }} | ||
Latest revision as of 19:00, 1 April 2022
| 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 | |