中新网天津11月7日电 (记者 周亚强)2026 CCF中国软件大会(CCF ChinaSoft)7日在天津开幕。大会以“软件筑基智能新时代”为主题，来自12个国家和地区的院士专家、企业及行业代表超3200人参会。

　　“软件是数字经济与人工智能发展的重要基石，是推动产业数字化、智能化转型的关键支撑。”中国工程院院士孙凝晖在致辞中表示，当前人工智能与软件技术深度融合，带来全新机遇和挑战，需要学界产业界共商前沿技术、共谋发展蓝图。

　　天津大学校长柴立元表示，新一代人工智能技术正在深刻重塑软件研发模式与产业生态，对软件领域科技创新和人才培养提出更高要求。

　　天津市科技局局长崔振平指出，天津聚焦基础软件、工业软件、软件安全等重点领域持续开展技术攻关，后续将在平台培育、项目支持、成果转化和场景应用等方面加大保障力度。

　　开幕式发布“安全编程语言TrustC”和“人机物融合泛在智能生态建设成果”。TrustC将安全检查、验证与证明机制融入开发流程；后者包括人机物融合智能化软件开源社区、物联网设备模型技术白皮书及Robonix具身智能操作系统。

　　大会围绕智能时代处理器设计范式、软件漏洞、可信软件工程等设置特邀报告环节，院士高峰论坛聚焦“智能互联新时代下中国软件发展新方向”。大会还开设智能化时代软件人才培养特别论坛，面向支撑AI计算、驾驭AI应用、保障AI可信等需求展开讨论。

　　本届大会参会单位超400家，其中企业超110家，设置60余场领域论坛，并举办定理证明、AI辅助研发、Rust软件原型开发、软件自动修复、智能编程等五大学科竞赛。

　　大会为期3天，由中国计算机学会(CCF)主办，CCF系统软件专委会、CCF软件工程专委会、CCF形式化方法专委会、天津大学与南开大学联合承办。(完)