11月7日，2026 CCF中国软件大会（CCF ChinaSoft）在天津开幕。本次大会由中国计算机学会（CCF）主办，CCF系统软件专委会、CCF软件工程专委会、CCF形式化方法专委会、天津大学与南开大学联合承办。
本次大会以“软件筑基智能新时代”为主题，来自12个国家和地区的院士专家、师生代表、企业界及行业协会、学会代表超3200人齐聚天津，共研软件科学与工程前沿方向，共绘软件学科高质量发展蓝图。
CCF会士、CCF理事长、中国工程院院士孙凝晖表示，软件是数字经济与人工智能发展的重要基石，是推动产业数字化、智能化转型的关键支撑。当前，人工智能与软件技术深度融合，带来全新机遇和挑战。CCF作为服务计算机领域科技工作者、推动行业创新发展的学术组织，始终将助力软件产业高质量发展作为重要使命。
天津大学校长柴立元对与会嘉宾长期以来给予天津大学的关心和支持表示感谢。他表示，新一代人工智能技术正在深刻重塑软件研发模式与产业生态，对软件领域科技创新和人才培养提出了更高要求。期待以本次大会为契机，汇聚各方力量推动软件领域人才培养、技术突破和产业繁荣，更好服务经济社会发展。
天津市科技局党委书记、局长崔振平表示，天津高度重视软件领域科技创新，以加快推动人工智能创新发展为抓手，聚焦基础软件、工业软件、软件安全等重点领域持续开展技术攻关，产生了一批在国内有重要影响力的成果。后续，天津市科技局将持续加大支持力度，在平台培育、项目支持、成果转化和场景应用等方面提供有力保障，助力天津软件产业高质量发展。
开幕式上还发布了“安全编程语言TrustC”和“人机物融合泛在智能生态建设成果”。TrustC是一款面向系统开发的安全编程语言，保留C语言底层控制能力，将安全检查、验证与证明机制融入开发流程。人机物融合泛在智能生态建设成果包括人机物融合智能化软件开源社区、物联网设备模型技术白皮书，以及Robonix具身智能操作系统。系列成果的发布，将为智能化时代软件技术创新与生态建设提供有力支撑。
据大会组织委员会主席、天津大学软件学院副院长陈俊洁介绍，2026 CCF中国软件大会为期3天，参会单位超400家，其中企业超110家。大会设置60余场领域论坛，开设软件工程智能体创新、AI赋能软件系统的架构治理与维护、编程语言前沿技术、具身智能机器人与系统软件、软硬件协同安全、AI时代的操作系统安全技术、韧性软件、软件形式化工程方法、智能浪潮下的软件工程教育教学改革等多方向专题论坛，并举办五大学科竞赛，包括定理证明竞赛、AI辅助研发创新大赛（鸿蒙杯）、Rust软件原型开发竞赛、软件自动修复竞赛和仓颉杯智能编程大赛。
原文链接：https://h.xinhuaxmt.com
