International Conference on Computer-Aided Verification
- 会议名称
- International Conference on Computer-Aided Verification
- 简称
- CAV 2027
- 会议时间
- 2027-07-19
- 会议地点
- Amsterdam, the Netherlands
- 学科方向
- 论文集出版
- 学术分级
- CCF ACORE A*QUALIS A1
- 截稿时间
- 2027-01-20
投稿时间轴
- 截稿剩 85 天
- 录用通知剩 178 天
- 开幕距开会 265 天
节点时间以会议官方通知为准；「已通知」「已截止」按公告日期自动更新。
会议介绍
CAV 是计算机辅助验证领域的顶级会议，聚焦形式化验证、模型检验、程序分析与综合，以及验证工具的实现与评测。2027 年 7 月在荷兰阿姆斯特丹举行，论文集由 Springer LNCS 出版。
历届举办地与时间
| 年份 | 时间 | 举办地 | 会议官网 |
|---|---|---|---|
| 2027本届 | July 19-23, 2027 | KIT, Amsterdam, The Netherlands | 访问 |
| 2026 | July 26-29, 2026 | Lisbon, Portugal | 访问 |
| 2025 | July 21-25, 2025 | Zagreb, Croatia | 访问 |
| 2022 | Aug 7-10, 2022 | Technion, Haifa, Israel | 访问 |
历届信息来自 ccfddl（MIT 许可）公开数据，供了解系列会议的历史举办情况。
征稿说明
论文格式与页数：up to 20 pages Application papers: up to 12 pages These limits include 2 extra pages to help incorporate（官网征稿页原文摘录，提交前请以官网最新版本为准）
会议目录信息仅用于检索参考；投稿截止日期、注册费用、主办信息和录用安排请以会议官方网站为准。
常见问题
CAV 2027 的投稿截稿日期是什么时候？
International Conference on Computer-Aided Verification 的投稿截稿日期为 2027-01-20（北京时间）。录用通知时间与注册安排以会议官方网站公布为准。
CAV 2027 属于什么级别的学术会议？
CAV 2027 的收录分级为 CCF A、CORE A*、QUALIS A1。分级来自 CCF / CORE / QUALIS 等公开推荐目录，可作为投稿前的参考之一，具体以目录最新版本为准。
CAV 2027 什么时候、在哪里举办？
International Conference on Computer-Aided Verification 的会期为 2027-07-19，举办地点为 Amsterdam, the Netherlands。会期与场地信息可能调整，出行与注册前请以会议官网通知为准。
CAV 2027 主要覆盖哪些研究方向？
CAV 2027 的主要学科方向为 软件工程与系统。本页「相关会议」列出了同学科方向的其它会议，便于横向比较截稿时间与会期。