CCF推荐计算机科学理论国际学术会议2026时间表
原创 计算机科学实验室 计算机科学实验室2026年1月26日 09:01陕西
中国计算机学会推荐国际学术会议(计算机科学理论)
https://www.ccf.org.cn/Academic_Evaluation/TCS/
1、ACM Symposium on Theory of Computing （stoc)
https://acm-stoc.org/stoc2026/
2、ACM-SIAM Symposium on Discrete Algorithms (siam)
https://www.siam.org/conferences-events/siam-conferences/soda26/
3、International Conference onComputer Aided Verification (cav)
https://i-cav.org/
https://conferences.i-cav.org/2026/cfp/
4、IEEE Annual Symposium on Foundations of Computer Science (focs)
https://ieee-focs.org/
5、ACM/IEEE Symposium on Logic in Computer Science (lics)
https://lics.siglog.org/
https://lics.siglog.org/lics26/
1、International Symposium on Computational Geometry (socg)
https://socg25.github.io/socg.html
2、European Symposium on Algorithms (esa)
https://algo-conference.org/2026/esa/
https://algo-conference.org/2025/esa/
3、Conference on Computational Complexity
https://computationalcomplexity.org/
Submission Deadline: Friday, February 6, 2026, 23:59 AoE
4、International Colloquium on Automata, Languages and Programming (icalp)
https://www.eatcs.org/index.php/international-colloquium
5、International Conference on Automated Deduction/International Joint Conference on Automated Reasoning
6、International Conference on Concurrency Theory (concur)
https://concurrency-theory.org/events/concur/
7、International Conference on Hybrid Systems: Computation and Control (hscc)
https://hscc.acm.org/2026/
8、International Conference on Theory and Applications of Satisfiability Testing (sat)
https://satisfiability.org/SAT26/
9、International Computing and Combinatorics Conference (cocoon)
https://tcsuestc.com/cocoon2025/
以上内容仅供参考，祝科研顺利。
CCF发布计算领域高质量科技期刊分级目录（2025）
【科研】CCF推荐的国内外期刊目录
CCF推荐期刊和会议目录：
https://www.ccf.org.cn/Academic_Evaluation/By_category/
)
