2025年8月3日至5日，2025CCF全国理论计算机科学学术年会在昆明召开。本次学术年会由中国计算机学会（CCF）主办，CCF理论计算机科学专业委员会、云南大学信息学院、云南省智能系统与计算重点实验室、云南大学数学与统计学院联合承办。来自全国高校、科研院所和相关行业的300余位专家学者参会，围绕理论计算机科学的前沿进展、交叉融合与产业应用展开深入研讨。
大会开幕式由CCF理论计算机科学专委会秘书长、中国科学院计算技术研究所张家琳研究员主持。云南大学党委副书记吴建德教授和CCF理论计算机科学专委会主任、电子科技大学肖鸣宇教授致辞。
西安交通大学徐宗本院士、中国科学院计算技术研究所陈熙霖研究员、北京航空航天大学李昂生教授、中国科学技术大学李向阳教授、上海财经大学陆品燕教授、中国科学院数学与系统科学研究院陈旭瑾研究员，受大会特邀，分别以《大模型的极限理论：解读智能涌现现象》《从识别到理解——计算机视觉演进与未来挑战》《智能时代的理论计算机科学：面向未来的计算机科学》《面向大规模定制化离散制造的智能网络协同与优化》《带预算限制的拍卖机制设计》《Prophet Trading vs. Trading Prophets 》为题作大会报告，交流分享了理论计算机科学和多学科交叉的突破性成果。
会议设置了多个特色板块，推动学术与产业联动。在专题报告环节，北京大学许进教授作题为《R(3,10)=40》的报告。在博士学位论文激励计划报告会中，5位优秀博士生分享了最新创新成果。在Panel活动中，肖鸣宇教授、中国科学院计算技术研究所孙晓明研究员、合肥工业大学李廉教授、东莞理工大学殷建平教授、中南大学陈志刚教授、海军工程大学贲可荣教授围绕“AI时代的理论计算机科学”展开讨论。在CCF-华为胡杨林基金理论计算机专项报告活动中，7位青年学者展示了各自研究的最新进展和成果。
本次会议收录50余篇学术论文，设3个平行分论坛，覆盖组合优化、形式化验证、量子计算等方向，各位学者进行了详细的论文汇报。
此次大会为国内理论计算机科学相关领域学者提供了一个交流新成果、碰撞新思想、达成新共识、推动产学研协同创新的平台，也为推动全国理论计算基础、人工智能科学的研究注入了新的动力。
来源：云南大学信息学院
