2025 CCF全国理论计算机科学学术年会顺利召开

2025年8月3日至8月5日，由中国计算机学会（CCF）主办，CCF理论计算机科学专业委员会、9499www威尼斯、云南省智能系统与计算重点实验室、数学与统计学院联合承办的2025 CCF全国理论计算机科学学术年会在昆明召开。本次会议汇聚了来自全国高校、科研院所和业界的300余位专家学者，围绕理论计算机科学的前沿进展、交叉融合与产业应用，展开深入研讨。

8月4日上午，大会开幕式由CCF理论计算机科学专委会秘书长、中国科学院计算技术研究所张家琳研究员主持。9499www威尼斯党委副书记吴建德教授致辞，代表学校对与会专家学者表示欢迎和感谢，强调理论计算机科学作为数字时代的基础性学科，在支撑人工智能和大数据等前沿技术中的核心作用，介绍了9499www威尼斯相关学科专业建设进展，以及在算法复杂性理论、机器学习可解释性等领域的特色成果。

CCF理论计算机科学专委会主任、电子科技大学肖鸣宇教授回顾了专委会推动学科发展的历程，呼吁学界加强基础理论研究与工业实践的协同创新。

会议特邀了6位知名学者作大会报告，涵盖理论计算机科学和多学科交叉的突破性成果。西安交通大学徐宗本院士以《大模型的极限理论：解读智能涌现现象》为题，系统阐释了智能涌现现象的数学本质，并提出了三元随机函数的数学框架，揭示了大模型智能涌现/尺度律的判定准则。

中国科学院计算技术研究所陈熙霖研究员以《从识别到理解—计算机视觉演进与未来挑战》为题，从生物启发视角提出开放环境下的视觉理解新方向，强调具身智能需突破传统识别任务的适应性瓶颈。

北京航空航天大学李昂生教授以《智能时代的理论计算机科学：面向未来的计算机科学》为题，提出了信息世界科学范式和谋算智能理论框架，为人工智能科学奠定了可解释的理论基础。

中国科学技术大学李向阳教授以《面向大规模定制化离散制造的智能网络协同与优化》为题，结合工业互联网和人工智能大小模型协同，阐述了离散制造中多源异构数据治理与柔性生产决策存在的挑战。

上海财经大学陆品燕教授以《带预算限制的拍卖机制设计》为题，系统综述15年来预算约束拍卖机制的理论进展与未解难题，融合计算经济学与算法设计，推动工业场景中的资源分配优化。

中国科学院数学与系统科学研究院陈旭瑾研究员以《Prophet Trading vs. Trading Prophets 》为题，提出阈值算法在随机序列决策中的优化策略，为在线交易提供理论框架。

会议还设置多个特色板块，推动学术与产业联动。在专题报告环节，北京大学许进教授进行了题为《R(3,10)=40》的报告，提出了一种求解Ramsey数的新方法，为极值图论与计算复杂性研究提供了新工具。

5位优秀博士生在博士学位论文激励计划报告会中分享了最新创新成果。

在Panel活动中，电子科技大学肖鸣宇教授、中国科学院计算技术研究所孙晓明研究员、合肥工业大学李廉教授、东莞理工大学殷建平教授，中南大学陈志刚教授，海军工程大学贲可荣教授围绕《AI时代的理论计算机科学》展开激辩与讨论。

在CCF-华为胡杨林基金理论计算机专项报告活动中，7位青年学者展示了研究的研究成果。

本次会议收录50余篇学术论文，设3个平行分论坛，覆盖组合优化、形式化验证、量子计算等方向，各位学者进行了详细的论文汇报。

此次大会不仅为国内理论计算机科学相关领域学者提供了一个交流新成果、碰撞新思想、达成新共识、推动产学研协同创新的平台，也为推动全国理论计算基础、人工智能科学的研究注入了新的动力。