(mobo import Concept___Events_With_Metrics-migrated) |
m (Text replacement - "Homepage=" to "Official Website=") |
||
Line 3: | Line 3: | ||
|Title=20th International Conference on Verification, Model Checking, and Abstract Interpretation | |Title=20th International Conference on Verification, Model Checking, and Abstract Interpretation | ||
|Type=Conference | |Type=Conference | ||
− | | | + | |Official Website=https://popl19.sigplan.org/track/vmcai-2019 |
|City=Cascais | |City=Cascais | ||
|Country=Country:PT | |Country=Country:PT |
Latest revision as of 14:22, 19 October 2022
Deadlines
Metrics
Submitted Papers
62
Accepted Papers
27
Venue
Cascais, Portugal
Warning: Venue is missing. The map might not show the exact location.