2026年11月7日,2026 CCF中国软件大会(CCF ChinaSoft)在天津开幕。本次大会以“软件筑基智能新时代”为主题,由中国计算机学会(CCF)主办,CCF系统软件专委会、CCF软件工程专委会、CCF形式化方法专委会联合天津大学、南开大学承办。来自12个国家和地区的院士专家、高校师生及企业代表3200余人参会,共同探讨智能时代软件科学与工程领域的发展趋势及技术创新。

聚焦软件技术前沿,多项成果集中发布
大会开幕式设置了成果发布环节,发布了安全编程语言TrustC以及人机物融合泛在智能生态建设成果。其中,TrustC面向系统开发,在保留C语言底层控制能力的基础上,将安全检查、验证与证明机制融入开发流程。人机物融合泛在智能生态建设成果则包括人机物融合智能化软件开源社区、物联网设备模型技术白皮书以及Robonix具身智能操作系统,为智能化时代的软件技术创新和生态建设提供了新的支撑。
大会期间,多位院士及国内外专家围绕智能时代的处理器设计、软件漏洞、可信软件工程等主题作特邀报告。院士高峰论坛还以“智能互联新时代下中国软件发展新方向”为主题,探讨软件技术创新与产业发展的重要方向。
设置60余场专题论坛,关注人工智能与软件人才培养
本届大会为期3天,参会单位超过400家,其中企业超过110家。会议设置60余场领域论坛,议题覆盖软件工程智能体创新、AI赋能软件系统架构治理与维护、编程语言前沿技术、具身智能机器人与系统软件、软硬件协同安全、AI时代操作系统安全技术、软件形式化工程方法等多个方向。
值得关注的是,大会专门设置了智能化时代软件人才培养特别论坛,围绕人工智能发展对软件专业人才提出的新要求,探讨如何培养能够支撑AI计算、驾驭AI应用并保障AI可信的软件人才,推动软件专业教育教学改革。
此外,大会还举办了五项学科竞赛,包括定理证明竞赛、AI辅助研发创新大赛(鸿蒙杯)、Rust软件原型开发竞赛、软件自动修复竞赛和仓颉杯智能编程大赛。
本届大会汇聚了高校、科研院所与产业界的多方力量,围绕软件基础理论、关键技术创新、产业应用及人才培养展开交流,为推动我国软件学科建设、促进人工智能与软件技术深度融合提供了重要的学术交流平台。
关于学讯通

评论 0