Difference between revisions of "VMCAI 2017"

From Openresearch
Jump to: navigation, search
(Created page with "{{Event |Acronym=VMCAI 2017 |Title=18th International Conference on Verification, Model Checking, and Abstract Interpretation |Series=VMCAI |Type=Conference |Start date=2017/0...")
 
 
Line 9: Line 9:
 
|City=Paris
 
|City=Paris
 
|Country=France
 
|Country=France
 +
|has program chair=Ahmed Bouajjani, David Monniaux
 +
|Has PC member=Erika Abraham, Roderick Bloem, Wei-Ngan Chin, Deepak D’Souza, Roberto Giacobazzi
 
|Submitted papers=60
 
|Submitted papers=60
 
|Accepted papers=27
 
|Accepted papers=27
 
}}
 
}}

Latest revision as of 05:35, 15 May 2020

VMCAI 2017
18th International Conference on Verification, Model Checking, and Abstract Interpretation
Event in series VMCAI
Dates 2017/01/15 (iCal) - 2017/01/17
Homepage: https://conf.researchr.org/home/VMCAI-2017
Location
Location: Paris, France
Loading map...

Papers: Submitted 60 / Accepted 27 (45 %)
Committees
PC chairs: Ahmed Bouajjani, David Monniaux
PC members: Erika Abraham, Roderick Bloem, Wei-Ngan Chin, Deepak D’Souza, Roberto Giacobazzi
Table of Contents


Facts about "VMCAI 2017"
Acceptance rate45.0 +
Accepted papers27 +
AcronymVMCAI 2017 +
End dateJanuary 17, 2017 +
Event in seriesVMCAI +
Event typeConference +
Has PC memberErika Abraham +, Roderick Bloem +, Wei-Ngan Chin +, Deepak D’Souza + and Roberto Giacobazzi +
Has coordinates48° 51' 24", 2° 21' 5"Latitude: 48.856697222222
Longitude: 2.3514611111111
+
Has location cityParis +
Has location countryCategory:France +
Has program chairAhmed Bouajjani + and David Monniaux +
Homepagehttps://conf.researchr.org/home/VMCAI-2017 +
IsAEvent +
Start dateJanuary 15, 2017 +
Submitted papers60 +
Title18th International Conference on Verification, Model Checking, and Abstract Interpretation +