Difference between revisions of "VMCAI 2020"

From Openresearch
Jump to: navigation, search
(Created page with "{{Event |Acronym=VMCAI 2020 |Title=21st International Conference on Verification, Model Checking, and Abstract Interpretation |Series=VMCAI |Type=Conference }}")
 
 
(One intermediate revision by the same user not shown)
Line 4: Line 4:
 
|Series=VMCAI
 
|Series=VMCAI
 
|Type=Conference
 
|Type=Conference
 +
|Start date=2020/01/19
 +
|End date=2020/01/21
 +
|Homepage=https://popl20.sigplan.org/home/VMCAI-2020
 +
|City=New Orleans
 +
|State=Louisiana
 +
|Country=USA
 +
|has program chair=Dirk Beyer, Damien Zufferey
 +
|Submitted papers=44
 +
|Accepted papers=21
 +
|has Proceedings Link=https://linkspringer.com/book/10.1007/978-3-030-39322-9
 
}}
 
}}

Latest revision as of 05:05, 15 May 2020

VMCAI 2020
21st International Conference on Verification, Model Checking, and Abstract Interpretation
Event in series VMCAI
Dates 2020/01/19 (iCal) - 2020/01/21
Homepage: https://popl20.sigplan.org/home/VMCAI-2020
Location
Location: New Orleans, Louisiana, USA
Loading map...

Papers: Submitted 44 / Accepted 21 (47.7 %)
Committees
PC chairs: Dirk Beyer, Damien Zufferey
Table of Contents


Retrieved from "https://www.openresearch.org/mediawiki/index.php?title=VMCAI_2020&oldid=222739"
Facts about "VMCAI 2020"
RDF feed
Acceptance rate47.7 +
Accepted papers21 +
AcronymVMCAI 2020 +
End dateJanuary 21, 2020 +
Event in seriesVMCAI +
Event typeConference +
Has coordinates29° 58' 34", -90° 4' 42"Latitude: 29.975997222222
Longitude: -90.078213888889 +
Has location cityNew Orleans +
Has location countryCategory:USA +
Has location stateLouisiana +
Has program chairDirk Beyer + and Damien Zufferey +
Homepagehttps://popl20.sigplan.org/home/VMCAI-2020 +
IsAEvent +
Start dateJanuary 19, 2020 +
Submitted papers44 +
Title21st International Conference on Verification, Model Checking, and Abstract Interpretation +