Difference between revisions of "VMCAI 2020"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by orapi)
(modified through wikirestore by orapi)
 
(One intermediate revision by the same user not shown)
Line 3: Line 3:
 
|has Proceedings Link=https://linkspringer.com/book/10.1007/978-3-030-39322-9
 
|has Proceedings Link=https://linkspringer.com/book/10.1007/978-3-030-39322-9
 
|Acronym=VMCAI 2020
 
|Acronym=VMCAI 2020
|End date=2020/01/21
+
|End date=2020-01-21
 
|Series=VMCAI
 
|Series=VMCAI
 
|Type =Conference
 
|Type =Conference
Line 9: Line 9:
 
|State=US/LA
 
|State=US/LA
 
|City =US/LA/New Orleans
 
|City =US/LA/New Orleans
 +
|Year =2020
 
|Homepage=https://popl20.sigplan.org/home/VMCAI-2020
 
|Homepage=https://popl20.sigplan.org/home/VMCAI-2020
|Start date=2020/01/19
+
|Start date=2020-01-19
 
|Title=21st International Conference on Verification, Model Checking, and Abstract Interpretation
 
|Title=21st International Conference on Verification, Model Checking, and Abstract Interpretation
 
|Accepted papers=21
 
|Accepted papers=21
 
|Submitted papers=44
 
|Submitted papers=44
 
}}
 
}}

Latest revision as of 03:48, 6 December 2021


Event Rating

median worst
Pain1.svg Pain4.svg

List of all ratings can be found at VMCAI 2020/rating

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: US/LA/New Orleans, US/LA, US
Loading map...

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