Browse wiki

Jump to: navigation, search
VMCAI 2020
Acceptance rate
47.7  +
Accepted papers
21  +
Acronym
VMCAI 2020  +
End date
January 21, 2020  +
Event in series
VMCAI +
Event type
Conference  +
Has coordinates
29° 57' 0", -90° 4' 12"Latitude: 29.949933333333
Longitude: -90.070116666667  +
Has location city
New Orleans +
Has location country
Category:USA +
Has location state
Louisiana +
Has program chair
Dirk Beyer + , Damien Zufferey +
Homepage
https://popl20.sigplan.org/home/VMCAI-2020  +
IsA
Event  +
Start date
January 19, 2020  +
Submitted papers
44  +
Title
21st International Conference on Verification, Model Checking, and Abstract Interpretation  +
Has query
"Has query" is a predefined property that represents meta information (in form of a subobject) about individual queries and is provided by Semantic MediaWiki.
VMCAI 2020 + , VMCAI 2020 + , VMCAI 2020 +
Creation date
"Creation date" is a predefined property that corresponds to the date of the first revision of a subject and is provided by Semantic MediaWiki.
08:08:58, 19 March 2020  +
Categories
Stand-alone event , USA
Last editor is
"Last editor is" is a predefined property that contains the page name of the user who created the last revision and is provided by Semantic MediaWiki.
User:Kirsten.Goschenhofer +
Modification date
"Modification date" is a predefined property that corresponds to the date of the last modification of a subject and is provided by Semantic MediaWiki.
04:05:52, 15 May 2020  +
hide properties that link here 
No properties link to this page.
 
Retrieved from "https://www.openresearch.org/wiki/Special:Browse/:VMCAI-202020"