企业官网建设流程全解析

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/