Lyirs的小屋

主题

CCF-B 会议 - 理论计算机科学 ​

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

ESAEuropean Symposium on Algorithms
投稿方向

算法会议，接收算法研究所有领域原创论文，包括算法工程、网络、博弈、数据科学、近似、计算几何、图算法、优化、流算法和量子计算等。

投稿链接https://algo-conference.org/2026/esa/
年份投稿量录取量录取率投稿截止时间会议时间会议地点
2024未公开未公开未公开未公开未公开未公开
2025未公开未公开未公开未公开未公开未公开
CCCConference on Computational Complexity 数据源
投稿方向

计算复杂性会议，接收计算复杂性理论所有领域原创研究，研究资源约束下计算模型的绝对和相对能力，并欢迎与编码、密码、博弈、学习、逻辑和隐私相关的复杂性问题。

投稿链接https://computationalcomplexity.org/Archive/2026/cfp.html
年份投稿量录取量录取率投稿截止时间会议时间会议地点
20241053634.29%未公开未公开未公开
2025913639.56%未公开未公开未公开
ICALPInternational Colloquium on Automata, Languages and Programming 数据源
投稿方向

理论计算机科学会议，覆盖算法、复杂性与博弈，以及自动机、逻辑、语义和程序理论等两个传统理论方向。

投稿链接https://icalppodcspaa2026.cs.rhul.ac.uk/icalp/
年份投稿量录取量录取率投稿截止时间会议时间会议地点
202451915329.48%未公开未公开未公开
202558017029.31%2025-02-082025-07-08丹麦奥胡斯
2026未公开未公开未公开2026-02-062026-07-06英国伦敦
IJCARInternational Conference on Automated Deduction/International Joint Conference on Automated Reasoning
投稿方向

自动演绎与自动推理会议方向，关注自动定理证明、交互证明、SAT/SMT、约束求解、逻辑推理、验证和形式化方法中的自动化推理技术。

投稿链接https://www.floc26.org/ijcar
年份投稿量录取量录取率投稿截止时间会议时间会议地点
2024未公开未公开未公开未公开未公开未公开
2025未公开未公开未公开未公开未公开未公开
2026未公开未公开未公开2025-02-152026-07-26葡萄牙里斯本
CONCURInternational Conference on Concurrency Theory
投稿方向

并发理论会议，关注并发系统、交互与反应式系统的理论，包括进程代数、模型检查、类型、语义、概率/定量模型和并发验证。

投稿链接https://www.floc26.org/concur
年份投稿量录取量录取率投稿截止时间会议时间会议地点
2024未公开未公开未公开未公开未公开未公开
2025未公开未公开未公开2025-04-092025-08-26丹麦奥胡斯
2026未公开未公开未公开2026-04-272026-09-01英国利物浦
HSCCInternational Conference on Hybrid Systems: Computation and Control
投稿方向

混合系统计算与控制会议，聚焦网络化和嵌入式控制系统中的混合动力学、控制、验证、优化、学习与安全关键应用。

投稿链接https://hscc.acm.org/2026/
年份投稿量录取量录取率投稿截止时间会议时间会议地点
2024未公开未公开未公开未公开未公开未公开
2025未公开未公开未公开未公开未公开未公开
2026未公开未公开未公开2025-11-132026-05-11法国圣马洛
SATInternational Conference on Theory and Applications of Satisfiability Testing
投稿方向

可满足性理论与应用会议，接收 SAT、MaxSAT、QBF、SMT、模型计数、约束求解、证明复杂性、求解器工程及其应用研究。

投稿链接https://www.floc26.org/sat
年份投稿量录取量录取率投稿截止时间会议时间会议地点
2024未公开未公开未公开未公开未公开未公开
2025未公开未公开未公开未公开未公开未公开
2026未公开未公开未公开2026-03-102026-07-20葡萄牙里斯本
COCOONInternational Computing and Combinatorics Conference
投稿方向

计算与组合国际会议，覆盖理论计算机科学、算法、复杂性、组合数学、图论、计算几何、优化、密码与网络相关算法问题。

投稿链接https://www.comp.polyu.edu.hk/conference/cocoon2026/
年份投稿量录取量录取率投稿截止时间会议时间会议地点
2024未公开未公开未公开未公开未公开未公开
2025未公开未公开未公开2025-03-052025-08-15中国成都
2026未公开未公开未公开2025-03-042026-07-23新加坡

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