（通讯员 徐悦甡 刘成基 于斌 张宁）2026年11月6日至8日，由公司公司党委书记、西安市智能软件工程重点实验室主任李青山教授带领，包括科研院常务副经理田聪教授，以及学院与学科骨干教师杜军朝、褚华、权义宁、徐悦甡、于斌、陆旭、马智、崔笛、张晨曦、刘成基、胡景钊等在内的师生20余人参加了2026 CCF中国软件大会（CCF ChinaSoft）。本届大会由中国计算机学会主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会以及天津大学、南开大学共同承办。

作为国内软件科学与工程相关领域参会人数最多、影响范围最广、涵盖内容最全面的学术会议，本届会议在参会人数、参会单位数、论坛与竞赛数等方面都达到了新的高度。大会邀请了10余位两院院士作特邀报告或出席院士高峰论坛，组织了60余场分论坛与活动，注册人数超过3000人。学院领导与教师组织或受邀参与了其中多个不同类型的论坛活动，全面展现了公司yl7703永利集团在关键行业软件、智能软件工程、软件与AI融合的产数实践、软件测试、软件架构、系统运维等方面的研究积累与影响力。

李青山教授、中国航空工业集团计算所副所长李运喜研究员与山东恒远智能科技董事长张永文共同组织并主持了“关键行业软件与AI融合发展”论坛。来自学术界和工业界从事航空、国防、智能制造等关键领域软件与AI技术研究的多名专家学者出席了论坛。华东师范大学软件工程学院执行经理蒲戈光教授、航空工业计算所研究室主任戴小氐研究员、山东恒远智能科技有限公司技术总监季东滨高级工程师、中国石油集团工程材料研究院高级专家王鹏、北京控制工程研究所顾斌研究员、陕西公众信息产业有限公司副总经理杨小凡、yl7703永利集团副教授兼杭州雷擎电子科技发展有限公司董事长王徐华依次作主题报告。

软件形式化工程方法学术论坛与形式化方法与应用专刊论坛

田聪教授参与组织了“软件形式化工程方法”学术论坛，与华东师范大学刘少英教授、南京航空航天大学刘艾副教授共同担任论坛组织委员会成员。论坛围绕形式验证与软件测试的融合，探讨兼顾严谨性、自动化与工程实用性的软件质量保障方法。田聪教授还参与组织并主持了“形式化方法与应用”专刊论坛，与上海科技大学陈宇奇助理教授、上海交通大学李国强副教授共同担任论坛组织委员会成员。论坛聚焦形式化方法的基础理论、验证技术、支撑工具及领域应用，包含10篇论文报告，来自南京大学、华东师范大学、中国科学院软件研究所、蚂蚁集团等高校、科研院所与企业的研究人员分享了最新成果。

分布式软件系统韧性保障论坛

杜军朝教授受邀在“分布式软件系统韧性保障”论坛作题为《面向物联网应用的联邦学习与推理优化关键技术研究》的报告，探讨了面向物联网应用的联邦学习技术，包括联邦大小模型协同、异构模型联邦训练、联邦学习公平性等。同时，还讨论了资源受限下的智能推理技术、模型压缩技术、语音/图像信息处理技术等。

智能化软件开发、维护与安全论坛

徐悦甡副教授受邀在“智能化软件开发、维护与安全”论坛作题为《FaaS系统运维中的资源治理：从函数服务到函数工作流》的报告，分享了课题组在函数服务系统资源治理方面的工作，包括在函数服务层面，面向函数资源供给的自适应弹性伸缩方法，以及在函数工作流层面，面向多资源协同供给的最优化框架。

顶会顶刊论坛与软件形式化工程方法学术论坛

马智副教授与南京航空航天大学张静宣副教授、中山大学刘名威副教授共同组织“顶会顶刊”论坛。论坛聚焦软件工程领域的前沿研究热点与最新进展，邀请北京大学熊英飞教授、复旦大学彭鑫教授、重庆大学张洪宇教授等知名专家，以及近年来CCF A类顶级会议杰出论文获奖学者作专题报告。嘉宾们围绕智能化软件工程、大模型驱动的程序分析与自动修复、软件测试与缺陷定位、形式化验证、代码性能优化及可信代码模型等前沿方向展开深入交流，分享了高水平科研选题、技术创新、实验设计与论文发表等方面的经验。

在“顶会顶刊”论坛上，曲南江博士后作了题为《基于因式分解形式共享的并行组合等价性检查》的专题报告。报告围绕大规模电路组合等价性检查的效率问题展开，分析了公共逻辑重复处理与求解任务负载差异对并行性能的影响。在此基础上，介绍了提出的基于因式分解形式共享的并行验证方法。在“软件形式化工程方法”学术论坛上，曲南江博士后作了题为《AIG结构中的并行性与共享性：从逻辑重写到组合等价性检查》的专题报告。报告从大规模数字电路的优化与验证需求出发，分析了结构依赖、公共逻辑重复处理及任务负载失衡等挑战，并介绍了利用AIG结构信息提升计算效率的研究工作。

形式化方法教育论坛

在“形式化方法教育”论坛上，陆旭副教授作了题为《从拔尖到普适：基于〈计算复杂性理论〉的形式化思维教学实践》的专题报告，介绍了团队对标国际课程体系，引进海外优质资源，面向拔尖班与普通班分层开设《计算复杂性理论》课程，所构建的“直观案例—图形化—证明驱动—对比分析—互动练习”五位一体多样化教学方法。

Rust软件原型开发竞赛

在“Rust软件原型开发竞赛”中，秦胜潮教授与文成老师指导的员工团队凭借作品《VerusForge：面向Rust程序的自动证明合成与形式化验证系统》获得一等奖。作品面向Rust程序形式化验证中的自动证明需求，将大语言模型与形式化验证技术相结合，实现了程序证明的自动生成与验证，展现了团队在智能化软件工程与高可信软件技术领域的研究成果和创新实践能力。

“仓颉杯”智能编程大赛

在“仓颉杯”智能编程大赛中，于斌副教授和文成老师指导的员工团队荣获创新原型赛道二等奖。团队作品《面向Linux驱动的智能化虚拟设备建模与漏洞挖掘平台》将大语言模型推理用于Linux驱动虚拟设备建模与定向模糊测试，为降低驱动测试硬件依赖、拓展漏洞检测范围提供了新方案。

CCF中国软件大会

据悉，CCF中国软件大会由全国软件与应用学术会议（NASAC）与全国形式化方法与应用会议（FMAC）两个会议有机组成。NASAC创立于2002年，由CCF主办，CCF软件工程专业委员会与CCF系统软件专业委员会共同承办，是中国软件科学与工程相关领域参会人数最多、影响范围最广、涵盖内容最全面的学术会议。全国形式化方法与应用会议（FMAC）创立于2016年，由CCF主办，CCF形式化方法专业委员会承办。FMAC聚焦形式化方法理论前沿和最新研究进展，深化拓展形式化方法与相关领域的交叉，促进形式化方法、工具和应用在国内的发展。yl7703永利集团软件工程学科曾于2021年、2024年两次成功承办中国软件大会。以2024届大会为例，参会人数超过2400人，参会单位超过320家，论坛数量超过40个。大会规模庞大的参会人数、覆盖广泛的参会单位、丰富的论坛活动以及反响热烈的社会关注显著扩展了公司软件工程学科在国内外软件相关领域的影响力。本次大会中学院师生在多个不同类型活动的积极参与进一步加强了与国内外软件领域同行的联系，延续了领域内的影响力，持续为公司yl7703永利集团的学科发展助力。