CCF 推荐会议 · 第七版（2026）
计算机科学理论 CCF 推荐会议
CCF 第七版（2026）目录计算机科学理论领域共有会议 25 个：A 类 5 个、B 类 10 个、C 类 10 个，其中 3 个已公布下一届截稿时间。每行列出 2022 版等级、下一截稿与最近一届。
截稿日历
未来 90 天截稿
A 类（5 个）
| 简称 | 全称 | 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 |
B 类（10 个）
| 简称 | 全称 | 2026 版 | 2022 版 | 下一截稿 | 最近一届 | 出版方 |
|---|---|---|---|---|---|---|
| SoCG | International Symposium on Computational Geometry | CCF B | B | SoCG 2027 · 全文截稿 | 2027Bengaluru, India | ACM |
| ESA | European Symposium on Algorithms | CCF B | B | 未公布 | 2026L'Aquila, Italy | Springer |
| CCC | Conference on Computational Complexity | CCF B | B | 未公布 | 2027Seattle, Washington, USA | IEEE |
| ICALP | International Colloquium on Automata, Languages and Programming | CCF B | B | 未公布 | 2027Kraków, Poland | Springer |
| CADE | Conference on Automated Deduction | CCF B | B | CADE 2027 · 摘要注册 | 2027Nijmegen, Netherlands | Springer |
| CONCUR | International Conference on Concurrency Theory | CCF B | B | 未公布 | 2027Lucca, Italy | Springer |
| HSCC | International Conference on Hybrid Systems: Computation and Control | CCF B | B | 未公布 | 2027Boulder, Colorado, USA | Springer/ ACM |
| SAT | International Conference on Theory and Applications of Satisfiability Testing | CCF B | B | 未公布 | 2026Lisbon, Portugal | Springer |
| COCOON | International Computing and Combinatorics Conference | CCF B | B | 未公布 | 2026Singapore | Springer |
| FMCAD | Formal Methods in Computer-Aided Design | CCF B | C | 未公布 | 2026Graz, Austria | ACM |
C 类（10 个）
| 简称 | 全称 | 2026 版 | 2022 版 | 下一截稿 | 最近一届 | 出版方 |
|---|---|---|---|---|---|---|
| CSL | Computer Science Logic | CCF C | C | 未公布 | — | Springer |
| FSTTCS | Foundations of Software Technology and Theoretical Computer Science | CCF C | C | 未公布 | — | Indian Association for Research in Computing Science |
| DSAA | IEEE International Conference on Data Science and Advanced Analytics | CCF C | C | 未公布 | — | IEEE |
| ICTAC | International Colloquium on Theoretical Aspects of Computing | CCF C | C | 未公布 | — | Springer |
| IPCO | International Conference on Integer Programming and Combinatorial Optimization | CCF C | C | 未公布 | — | Springer |
| FSCD | International Conference on Formal Structures for Computation and Deduction | CCF C | C | 未公布 | 2027Nijmegen, Netherlands | Dagstuhl Leibniz LIPIcs |
| ISAAC | International Symposium on Algorithms and Computation | CCF C | C | 未公布 | 2026Hangzhou, China | Springer |
| MFCS | International Conference on Mathematical Foundations of Computer Science | CCF C | C | 未公布 | — | Springer |
| STACS | Symposium on Theoretical Aspects of Computer Science | CCF C | C | 未公布 | — | Springer |
| SETTA | International Symposium on Software Engineering: Theories, Tools, and Applications | CCF C | C | 未公布 | 2026Singapore | Springer |
CCF 推荐期刊
计算机科学理论领域的 CCF 推荐期刊
有期刊档案的可点开查看中科院分区、影响因子、审稿周期与版面费。 本领域期刊的中科院分区对照 →
A 类（3）
B 类（13）
TALG CCF BTOCL CCF BTOMS CCF BAlgorithmica CCF BCC CCF BFAC CCF BFMSD CCF BINFORMS CCF BJCSS CCF BJGO CCF BJSC CCF BMSCS CCF BTCS CCF B
C 类（12）
相关列表
常见问题
关于计算机科学理论 CCF 推荐会议
计算机科学理论有哪些 CCF A 类会议？
STOC、SODA、CAV、FOCS、LICS。
与 2022 年第六版相比有哪些变化？
FMCAD：C → B。
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）。