Search a Conference through our dedicated search page

VMCAI 2020 — 21st International Conference on Verification, Model Checking, and Abstract Interpretation

19th January 2020   -   21st January 2020
New Orleans, Louisiana, United States
https://popl20.sigplan.org/home/VMCAI-2020
Save

Abstract

VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. VMCAI 2020 will be the 21st edition in the series.