CCF-A 会议 - 理论计算机科学

理论计算机科学、算法、逻辑、复杂性与程序验证方向的 CCF 推荐会议。

SODAACM-SIAM Symposium on Discrete Algorithms 数据源

投稿方向

离散算法会议，聚焦算法设计与分析、数据结构、组合优化、图算法、随机算法、近似算法、计算几何、网络、机器学习中的算法问题等。

投稿链接https://www.siam.org/conferences-events/siam-conferences/soda27/

年份投稿量录取量录取率投稿截止时间会议时间会议地点

202465219229.45%未公开未公开未公开

202565519229.31%2024-07-052025-01-12美国新奥尔良

2026未公开未公开未公开2025-07-142026-01-11加拿大温哥华

CAVInternational Conference on Computer Aided Verification 数据源

投稿方向

计算机辅助验证会议，覆盖硬件与软件系统形式化分析的理论和实践，强调验证算法、工具实现、模型检测、自动推理及实际应用。

投稿链接https://conferences.i-cav.org/2026/

年份投稿量录取量录取率投稿截止时间会议时间会议地点

20243176921.77%未公开未公开未公开

20253057925.90%2025-01-312025-07-21克罗地亚萨格勒布

2026未公开未公开未公开2026-01-282026-07-26葡萄牙里斯本

FOCSIEEE Annual Symposium on Foundations of Computer Science 数据源

投稿方向

理论计算机科学旗舰会议，接收算法、复杂性、随机与近似、图论、组合优化、密码学、量子计算、学习理论、逻辑和计算理论等方向。

投稿链接https://focs.computer.org/2026/call-for-papers/

年份投稿量录取量录取率投稿截止时间会议时间会议地点

202450013126.20%2024-04-042024-10-27美国芝加哥

202554613725.09%2025-04-032025-12-14澳大利亚悉尼

2026未公开未公开未公开2026-04-012026-11-08美国纽约

LICSACM/IEEE Symposium on Logic in Computer Science 数据源

投稿方向

逻辑与计算机科学会议，关注自动机、自动推理、程序语义、类型系统、模型检测、证明论、逻辑编程、并发、复杂性、AI 逻辑和验证等。

投稿链接https://lics.siglog.org/lics26/cfp.php

年份投稿量录取量录取率投稿截止时间会议时间会议地点

20242367230.51%未公开未公开未公开

20252156630.70%未公开未公开未公开

2026未公开未公开未公开2026-01-222026-07-20葡萄牙里斯本

投稿与录取统计采用主研究轨公开口径，数据来自 OpenAccept； 日程与地点参考 CCFDDL 并以会议官网为准；未公开、未收录或当年未举办的会议统一标为“未公开”。