(mobo import Concept___Events_With_Metrics-migrated) |
m (Text replacement - "Homepage=" to "Official Website=") |
||
Line 3: | Line 3: | ||
|Title=21st International Conference on Verification, Model Checking, and Abstract Interpretation | |Title=21st International Conference on Verification, Model Checking, and Abstract Interpretation | ||
|Type=Conference | |Type=Conference | ||
− | | | + | |Official Website=https://popl20.sigplan.org/home/VMCAI-2020 |
|City=New Orleans | |City=New Orleans | ||
|Region=Louisiana | |Region=Louisiana |
Latest revision as of 14:23, 19 October 2022
The document "VMCAI 2020" was published on "2022-10-19T14:23:51" on the website "ConfIDent" under the URL https://confident-conference.org/index.php/Event:VMCAI 2020.
The document "VMCAI 2020" describes an event in the sense of a conference.
The document "VMCAI 2020" contains information about the event "VMCAI 2020" with start date "2020/01/19" and end date "2020/01/21".
The event "VMCAI 2020" is part of the event series identified by [[Event Series:VMCAI]]
Deadlines
Metrics
Submitted Papers
44
Accepted Papers
21
Venue
New Orleans, Louisiana, United States of America
Warning: Venue is missing. The map might not show the exact location.