CAV/International Conference on Computer Aided Verification
CCF A 类CORE A*THCPL A计算机科学理论
International Conference on Computer Aided Verification（CAV）：CCF 推荐 A 类，CORE A*，所属领域「计算机科学理论」，2026 年会议于 July 26-29, 2026 举行，地点 Lisbon, Portugal，全文截稿 2026-01-28 23:59:59，最新录用率 19.1%。提供历年截稿时间线、录用率与 CCF 等级信息。
在 DBLP 查看 CAV 论文列表 →CCF 推荐等级
A 类
CORE A* · THCPL A
录用率（2022 年）
19.1%
投稿 209 · 录用 40
最近截稿（2026 年）
2026-01-28
时区 AoE
历年截稿时间线
录用率历年统计
| 年份 | 投稿 / 录用 | 录用率 |
|---|---|---|
| 2022 | 209 / 40 | 19.1% |
录用率来自会议官网与公开统计，仅供参考。
计算机科学理论领域其他会议
查看全部- STOC · ACM Symposium on Theory of ComputingA
- SODA · ACM-SIAM Symposium on Discrete AlgorithmsA
- FOCS · IEEE Annual Symposium on Foundations of Computer ScienceA
- LICS · ACM/IEEE Symposium on Logic in Computer ScienceA
- SoCG · International Symposium on Computational GeometryB
- ESA · European Symposium on AlgorithmsB
- CCC · Conference on Computational ComplexityB
- ICALP · International Colloquium on Automata, Languages and ProgrammingB
- International Conference on Automated Deduction/International Joint Conference on Automated Reasoning · International Conference on Automated Deduction/International Joint Conference on Automated ReasoningB
- CONCUR · International Conference on Concurrency TheoryB
- HSCC · International Conference on Hybrid Systems: Computation and ControlB
- SAT · International Conference on Theory and Applications of Satisfiability TestingB
不再错过截稿日期
在 SCI365 会议截稿查询中跟踪 CAV 等顶会 deadline，支持时区换算与搜索。