VMCAI/International Conference on Verification,Model Checking, and Abstract Interpretation

International Conference on Verification,Model Checking, and Abstract Interpretation（VMCAI）：CCF 推荐 B 类，CORE B，所属领域「软件工程/系统软件/程序设计语言」，2026 年会议于 January 12-13, 2026 举行，地点 Rennes, France，全文截稿 2025-09-15 23:59:59。提供历年截稿时间线、录用率与 CCF 等级信息。