CAV

International Conference on Computer-Aided Verification

CCF ACORE A*TH-CPL A计算机科学理论4 届 · 2022–2027

当前届 / 最近一届

进行中

TBD·TBD

International Conference on Computer-Aided Verification

CCF ACORE A*TH-CPL A计算机科学理论Agent 核验 · official-page

备注: Official page

--天

--时

--分

--秒

截止: 2027-01-20 23:59:59 AoE

横轴为年份，纵轴为截止日在一年中的位置；点越平说明每年越准时。

近 4 届截止都在 1 月下旬，非常稳定（前后相差 11 天）。

来源见表格链接；同年多轮合并统计。

年份	投稿	录用	录用率	来源
2022	209	40	19.1%	github.com

每届取最后一轮正式截止；有多轮或摘要截止的在备注列标出。

年份	截止（原时区）	会期	地点	备注	状态
2027	2027-01-20 23:59:59 AoE	TBD	TBD	—Agent 核验	进行中
2026	2026-01-28 23:59:59 AoE	July 26-29, 2026	Lisbon, Portugal	—	已结束
2025	2025-01-31 23:59:59 AoE	July 21-25, 2025	Zagreb, Croatia	—	已结束
2022	2022-01-21 23:59:59 AoE	Aug 7-10, 2022	Technion, Haifa, Israel	—	已结束