投稿方向
函数式编程会议，接收函数式编程艺术与科学相关研究，覆盖从理论到实践、从基础到语言特性、从抽象到应用的完整谱系。
年份投稿量录取量录取率投稿截止时间会议时间会议地点
20241063533.02%未公开未公开未公开
2025未公开未公开未公开2025-02-272025-10-12新加坡
2026未公开未公开未公开2026-02-192026-08-24美国印第安纳波利斯
CCF-B 会议 - 程序设计语言与编译
程序设计语言、编译器、静态分析、语义、类型系统与形式化方法方向的 CCF 推荐会议。
投稿方向
嵌入式系统语言、编译器与工具会议，关注编程语言、编译器和工具如何支撑嵌入式系统及其在 AI、自动驾驶、机器人、医疗等新兴应用中的设计挑战。
年份投稿量录取量录取率投稿截止时间会议时间会议地点
2024未公开未公开未公开2024-02-162024-06-24丹麦哥本哈根
2025未公开未公开未公开未公开未公开未公开
投稿方向
约束规划会议，发表约束技术相关高质量科学论文，覆盖约束建模、求解、优化、组合搜索以及约束规划在实际问题中的应用。
年份投稿量录取量录取率投稿截止时间会议时间会议地点
2024未公开未公开未公开未公开未公开未公开
2025未公开未公开未公开2025-03-272025-08-10格拉斯哥
2026未公开未公开未公开2026-03-142026-07-20葡萄牙里斯本
投稿方向
验证、模型检查与抽象解释会议，促进这些领域及混合方法交流，覆盖程序验证、模型检查、抽象域、程序综合、静态分析、类型系统和自动推理。
年份投稿量录取量录取率投稿截止时间会议时间会议地点
2024未公开未公开未公开未公开未公开未公开
2025未公开未公开未公开未公开未公开未公开
2026未公开未公开未公开2025-09-152026-01-12法国雷恩
投稿方向
静态分析会议，聚焦程序验证、缺陷检测、编译优化、程序理解和软件维护中的静态分析理论、实践、工具与应用进展。
年份投稿量录取量录取率投稿截止时间会议时间会议地点
2024未公开未公开未公开未公开未公开未公开
2025未公开未公开未公开2025-05-042025-10-12新加坡
投稿与录取统计采用主研究轨公开口径，数据来自 OpenAccept； 日程与地点参考 CCFDDL 并以会议官网为准；未公开、未收录或当年未举办的会议统一标为“未公开”。