International Conference on Verification, Model Checking, and Abstract Interpretation
摘要截稿:
全文截稿: 2019-10-01
开会时间: 2020-01-19
会议难度:
CCF分类: B类
会议地点: New Orleans, Louisiana, United States
Overview
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.