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

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

FMCADFormal Method in Computer-Aided Design

投稿方向

面向计算机辅助设计中的形式化方法，包括硬件/软件系统建模、验证、模型检查、定理证明、综合和工业案例。

投稿链接https://fmcad.org/FMCAD26/

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

2024未公开未公开未公开未公开未公开未公开

2025未公开未公开未公开2025-04-272025-10-06美国门洛帕克

2026未公开未公开未公开2026-04-262026-09-14奥地利格拉茨

FSTTCSFoundations of Software Technology and Theoretical Computer Science

投稿方向

面向软件技术基础与理论计算机科学，包括算法、复杂性、逻辑、形式语言、并发、验证和程序理论。

投稿链接https://www.fsttcs.org.in/2026/

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

2024未公开未公开未公开未公开未公开未公开

2025未公开未公开未公开未公开未公开未公开

DSAAIEEE International Conference on Data Science and Advanced Analytics

投稿方向

面向数据科学与高级分析，包括数据挖掘、机器学习、统计、可解释分析、可信数据科学和行业应用。

投稿链接https://dsaa.co/

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

2024未公开未公开未公开未公开未公开未公开

2025未公开未公开未公开未公开未公开未公开

ICTACInternational Colloquium on Theoretical Aspects of Computing

投稿方向

面向计算理论及其应用，包括软件/系统建模、验证、语义、并发、测试、定理证明和形式化工具。

投稿链接https://ictac2026.github.io/

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

2024未公开未公开未公开未公开未公开未公开

2025未公开未公开未公开未公开未公开未公开

IPCOInternational Conference on Integer Programming and Combinatorial Optimization

投稿方向

面向整数规划与组合优化，包括多面体理论、算法、复杂性、建模、计算方法和优化应用。

投稿链接https://www.mathopt.org/?nav=ipco

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

2024未公开未公开未公开未公开未公开未公开

2025未公开未公开未公开未公开未公开未公开

RTAInternational Conference on Rewriting Techniques and Applications

投稿方向

面向重写技术及其应用，包括项重写、规约、自动推理、程序变换、归纳、逻辑和形式化验证。

投稿链接https://fscd-conference.org/

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

2024未公开未公开未公开未公开未公开未公开

2025未公开未公开未公开未公开未公开未公开

ISAACInternational Symposium on Algorithms and Computation

投稿方向

面向算法与计算，包括算法设计分析、数据结构、图算法、几何、组合优化、随机算法和算法应用。

投稿链接https://www.algo-door.com/isaac2026/

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

2024未公开未公开未公开未公开未公开未公开

2025未公开未公开未公开未公开未公开未公开

2026未公开未公开未公开2026-06-262026-12-06中国杭州

MFCSInternational Conference on Mathematical Foundations of Computer Science

投稿方向

面向计算机科学数学基础，包括算法、复杂性、逻辑、自动机、形式语言、语义、并发和理论模型。

投稿链接https://mfcs.sk/

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

2024未公开未公开未公开未公开未公开未公开

2025未公开未公开未公开未公开未公开未公开

STACSSymposium on Theoretical Aspects of Computer Science

投稿方向

面向理论计算机科学，包括算法、复杂性、图论、逻辑、形式方法、随机化、近似和计算模型。

投稿链接https://stacs2026.imag.fr/

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

2024未公开未公开未公开未公开未公开未公开

2025未公开未公开未公开未公开未公开未公开

SETTAInternational Symposium on Dependable Software Engineering: Theories, Tools, and Applications

投稿方向

面向可信软件工程理论、工具和应用，包括形式化方法、验证测试、可靠性、安全性、模型驱动和工业实践。

投稿链接https://lcs.ios.ac.cn/setta/

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

2024未公开未公开未公开2024-08-282024-11-26中国香港

2025未公开未公开未公开2025-04-30未公开英国牛津

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