Difference between revisions of "VMCAI 2018"
(Created page with "{{Event |Acronym=VMCAI 2018 |Title=19th International Conference on Verification, Model Checking, and Abstract Interpretation |Series=VMCAI |Type=Conference |Start date=2018/0...") |
|||
Line 10: | Line 10: | ||
|State=California | |State=California | ||
|Country=USA | |Country=USA | ||
+ | |Has PC member=Jade Alglave, Roderick Bloem, Wei-Ngan Chin, Maria Christakis, Patrick Cousot | ||
+ | |has Keynote speaker=Azadeh Farzan, Ranjit Jhala, Kenneth L. McMillan | ||
|Submitted papers=43 | |Submitted papers=43 | ||
|Accepted papers=24 | |Accepted papers=24 | ||
}} | }} |
Latest revision as of 05:22, 15 May 2020
VMCAI 2018 | |
---|---|
19th International Conference on Verification, Model Checking, and Abstract Interpretation
| |
Event in series | VMCAI |
Dates | 2018/01/07 (iCal) - 2018/01/09 |
Homepage: | https://popl18.sigplan.org/track/VMCAI-2018 |
Location | |
Location: | Los Angeles, California, USA |
Loading map... | |
Papers: | Submitted 43 / Accepted 24 (55.8 %) |
Committees | |
PC members: | Jade Alglave, Roderick Bloem, Wei-Ngan Chin, Maria Christakis, Patrick Cousot |
Keynote speaker: | Azadeh Farzan, Ranjit Jhala, Kenneth L. McMillan |
Table of Contents | |
Facts about "VMCAI 2018"
Acceptance rate | 55.8 + |
Accepted papers | 24 + |
Acronym | VMCAI 2018 + |
End date | January 9, 2018 + |
Event in series | VMCAI + |
Event type | Conference + |
Has coordinates | 34° 3' 13", -118° 14' 34"Latitude: 34.053691666667 Longitude: -118.24276666667 + |
Has location city | Los Angeles + |
Has location country | Category:USA + |
Has location state | California + |
Homepage | https://popl18.sigplan.org/track/VMCAI-2018 + |
IsA | Event + |
Start date | January 7, 2018 + |
Submitted papers | 43 + |
Title | 19th International Conference on Verification, Model Checking, and Abstract Interpretation + |