VMCAI 2020 - - 21st International Conference on Verification, Model Checking, and Abstract Interpretation - POPL 2020
Welcome to the website of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2020).
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.
Proceedings
https://link.springer.com/book/10.1007/978-3-030-39322-9
Invited Speakers
We are pleased to announce the the invited speakers for VMCAI 2020 are: Rajeev ...