会议简介

2026 CCF中国软件大会(CCF ChinaSoft)将于2026年11月6日至8日在天津社会山国际taptap下载官服登入酒店召开。大会由中国计算机学会（CCF）主办，CCF系统软件专委会、CCF软件工程专委会、CCF形式化方法专委会、天津大学与南开大学共同承办。本届大会的主题为「软件筑基智能新时代」。

CCF中国软件大会由全国软件与应用学术会议（NASAC）与全国形式化方法与应用会议（FMAC）两个会议有机组成。NASAC创立于2002年，是中国软件科学与工程相关领域参会人数最多、影响范围最广、涵盖内容最全面的学术会议。FMAC创立于2016年，聚焦形式化方法理论前沿和最新研究进展。两大学术会议自2020年合并后，影响力持续扩大。

本届大会将组织特邀报告、院士高峰论坛、青年学者论坛、大会常设论坛、论文专刊论坛、顶会顶刊论坛、学术论坛、工业论坛、教育论坛、学科竞赛、软件研究成果展示等近70个不同类型的活动。大会将邀请超过10位软件及相关领域中国科学院院士与中国工程院院士。

专家介绍

会议内容

会议日程

2026年11月5日

2026年11月6日

2026年11月7日

2026年11月8日

2026年11月9日

参会对象

• 软件领域学术界学者、师生，全国预计1500人
• 软件领域企业界从业者，全国预计800人
• 软件领域教育界从业者，全国预计200人

费用标准

注册征文

会议时间：2026年11月6日~2026年11月8日

会议地点：天津社会山国际taptap下载官服登入酒店

会议报到：2026年11月5日-11月8日，地点为天津社会山国际taptap下载官服登入酒店。

注册缴费：会议通过CCF会议管理系统缴费，退费遵守《CCF关于会议注册费的退费规定》。10月20日前注册可享受优惠价格。

住宿预订：推荐酒店将在会议网站陆续推出，参会代表可通过会议网站预定协议酒店，住宿费用由参会代表自行结算。

交通指南：会议提供了从天津滨海国际机场、天津站、天津西站、天津南站至会议酒店的详细交通方案，包括出租车和公交地铁路线。

产业简报

基于2026年CCF中国软件大会（CCF ChinaSoft）的会议通知，以下是对软件行业发展趋势的简要分析：

核心趋势：软件筑基智能新时代

本届大会主题「软件筑基智能新时代」明确指出了当前软件行业的核心发展方向。软件不再仅仅是工具，而是构建智能化社会的基石。随着人工智能技术的爆发式增长，软件工程正在经历从「自动化」向「智能化」的范式转变。大会将软件工程（NASAC）与形式化方法（FMAC）深度融合，预示着行业正致力于解决AI模型的可信、可靠与安全问题，以确保智能软件在关键领域的落地。

关键技术方向：形式化方法与系统软件的复兴

会议特别强调了形式化方法（Formal Methods）与系统软件的结合。在AI大模型时代，代码生成的准确性与系统的安全性成为痛点。形式化方法作为软件正确性的「数学证明」，正从学术研究走向工业界的核心应用。同时，面向AI芯片、智能操作系统的系统软件研发，是打破技术壁垒、实现自主可控的关键。

政策驱动因素：自主可控与十五五规划前瞻

结合国家「十四五」规划及面向2035的远景目标，基础软件（操作系统、数据库、中间件）的自主可控是国家战略重点。2026年作为「十五五」规划的开局之年，本次大会汇聚了包括林惠民、梅宏、廖湘科等在内的十余位两院院士，体现了国家对基础软件与系统软件领域的高度重视。政策将持续驱动产学研资源向基础软件、工业软件及高可信软件领域倾斜。

产学研生态：全链条协同创新

研究现状： 国内在软件工程理论、形式化验证及系统软件架构方面已取得显著进展，正从「跟随」转向「并跑」甚至「领跑」。

应用领域： 智能软件已广泛应用于航空航天（如院士团队背景）、工业互联网、金融科技及关键基础设施中。

知名机构： 依托天津大学、南开大学承办，联合南京大学、中科院软件所等顶尖高校院所，形成了强大的学术支撑网络。

就业机会： 随着「软件定义一切」的趋势，市场急需具备形式化验证能力、系统级编程能力以及AI工程化落地能力的高端人才。大会设立的工业论坛与学科竞赛，正是企业挖掘此类人才的最佳窗口。

企业行动建议

建议相关企业密切关注大会发布的工业论坛议题，积极寻求与高校在「高可信软件」与「智能系统」方向的产学研合作，提前布局下一代智能软件技术栈，以应对未来五年的技术变革。

会议简评

推荐指数 : 9

🎤 顶尖学术阵容： 大会邀请了林惠民、梅宏、廖湘科等超过10位两院院士出席并作报告，阵容豪华，代表了国内软件领域的最高学术水平。

📊 行业风向标： 作为CCF主办的年度盛会，大会发布的「软件筑基智能新时代」主题及相关论坛，精准把脉2026年软件行业与AI融合的最新趋势。

🤝 高端人脉链接： 预计2500+参会者、350+参会单位，涵盖学术界、企业界与教育界，是拓展产学研合作网络、寻找合作伙伴与人才的绝佳平台。

📈 全面技术交流： 近70个不同类型的活动（含工业论坛、学科竞赛、成果展示），不仅关注理论前沿，更聚焦技术落地与应用，实用价值极高。