Difference between revisions of "VMCAI 2018"

From Openresearch
Jump to: navigation, search
(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 rate55.8 +
Accepted papers24 +
AcronymVMCAI 2018 +
End dateJanuary 9, 2018 +
Event in seriesVMCAI +
Event typeConference +
Has coordinates34° 3' 13", -118° 14' 34"Latitude: 34.053691666667
Longitude: -118.24276666667
+
Has location cityLos Angeles +
Has location countryCategory:USA +
Has location stateCalifornia +
Homepagehttps://popl18.sigplan.org/track/VMCAI-2018 +
IsAEvent +
Start dateJanuary 7, 2018 +
Submitted papers43 +
Title19th International Conference on Verification, Model Checking, and Abstract Interpretation +