CCF 推荐会议 · 第七版（2026）
计算机科学理论 CCF A 类会议
CCF 第七版（2026）目录计算机科学理论领域共有 A 类会议 5 个，其中 1 个已公布下一届截稿时间。每行列出 2022 版等级、下一截稿与最近一届。
截稿日历
未来 90 天截稿
| 截止（北京时间） | 剩余 | 会议 | 等级 | 领域 | 截止项 | 举办地 | 来源 |
|---|---|---|---|---|---|---|---|
| 原文 2027-01-20 23:59 AoE | CAV 2027 | CCF A | 计算机科学理论 | 全文截稿 | KIT, Amsterdam, The Netherlands | 社区数据·待核验 |
计算机科学理论 CCF A 类会议
| 简称 | 全称 | 2026 版 | 2022 版 | 下一截稿 | 最近一届 | 出版方 |
|---|---|---|---|---|---|---|
| STOC | ACM Symposium on the Theory of Computing | CCF A | A | 未公布 | 2027Atlanta, Georgia, USA | ACM |
| SODA | ACM-SIAM Symposium on Discrete Algorithms | CCF A | A | 未公布 | 2027Philadelphia, Pennsylvania, USA | SIAM |
| CAV | International Conference on Computer Aided Verification | CCF A | A | CAV 2027 · 全文截稿 | 2027KIT, Amsterdam, The Netherlands | Springer |
| FOCS | IEEE Annual Symposium on Foundations of Computer Science | CCF A | A | 未公布 | 2026New York City, NY, USA | IEEE |
| LICS | ACM/IEEE Symposium on Logic in Computer Science | CCF A | A | 未公布 | 2027Montréal, Canada | IEEE |
CCF 推荐期刊
计算机科学理论领域的 CCF 推荐期刊
有期刊档案的可点开查看中科院分区、影响因子、审稿周期与版面费。 本领域期刊的中科院分区对照 →
A 类（3）
相关列表
常见问题
关于计算机科学理论 CCF A 类会议
计算机科学理论有哪些 CCF A 类会议？
STOC、SODA、CAV、FOCS、LICS。
Workshop 和短文算 CCF 论文吗？
CCF 的说明：目录中的会议论文指正式发表的长文（Full paper 或 Regular paper），Short paper、Demo paper、Technical Brief、Summary、Findings 以及伴随会议的 Workshop 不在目录考虑范围内。CCF 也说明目录只是推荐列表，不建议简单地作为学术评价依据，具体以所在单位的规定为准。
来源：CCF 推荐国际学术会议和期刊目录第七版（2026 年 3 月 31 日发布，4 月 9 日勘误）与第六版（2022）；届次、截稿时间与录用率来自 ccf-deadlines 社区数据（MIT 许可），与会议官网核对前标注为“社区数据·待核验”，核对一致后标注“官网核验”并附官网原文；历届论文集与论文数来自 dblp（CC0）。