Record Beta
VMCAI 2020
https://id.confref.org/data/confident/21148
This record is part of the confref event 21st International Conference on Verification, Model Checking, and Abstract Interpretation.
| rdf:type | cf:Category_Event |
|---|---|
| schema:location | New Orleans (wd:Q34404) |
| rdfs:label | VMCAI 2020 |
| cf:Acronym | VMCAI 2020 |
| cf:City | New Orleans |
| cf:Country | https://id.confref.org/data/confident/31086 |
| cf:Country_Missing | false |
| cf:Creation_date | 2022-05-17T09:16:37 |
| cf:Display_Title | VMCAI 2020 |
| cf:End_Date | 2020-01-21 |
| cf:Event_Mode | on site |
| cf:Event_Status | as scheduled |
| cf:Has_Metric | false |
| cf:In_Event_Series | https://id.confref.org/data/confident/2107 |
| cf:Modification_date | 2022-10-19T14:23:51 |
| cf:Month | 1 |
| cf:Number_Of_Accepted_Papers | 21 |
| cf:Number_Of_Submitted_Papers | 44 |
| cf:Official_Website | https://popl20.sigplan.org/home/VMCAI-2020 |
| cf:Organizer_Missing | true |
| cf:Region | Louisiana |
| cf:Single_Day_Event | no |
| cf:Start_Date | 2020-01-19 |
| cf:Start_Date_Missing | false |
| cf:Title | 21st International Conference on Verification, Model Checking, and Abstract Interpretation |
| cf:Year | 2020 |
| cf:page | https://www.confident-conference.org/index.php/Event:VMCAI_2020 |
| cf:pageTitle | Event:VMCAI 2020 |
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.