哈师大成功承办第十五届中国数学会计算机数学大会

8月8日至11日，第十五届中国数学会计算机数学大会在哈尔滨顺利召开。本次大会由中国数学会计算机数学专业委员会主办，哈尔滨师范大学与中国科学院数学与系统科学研究院数学机械化重点实验室联合承办，中国数学会协办，聚焦数学机械化、符号计算、人工智能数学理论等前沿方向，积极回应新时代数学与信息技术深度融合的迫切需求，为国内外专家学者搭建起高水平交流平台。

来自清华大学、北京大学、中国科学院大学、中国科学院数学与系统科学研究院、武汉大学、国防科技大学等90余所高校及科研院所的近300位代表齐聚冰城，共话学科发展。大会设置5个大会邀请报告、9个青年邀请报告及70个分组报告，内容丰富，议题前沿。

开幕式上，大会主席、哈尔滨师范大学校长蒋鲲介绍了学校近年来的办学特色与建设发展情况，并表示哈师大数学学科底蕴深厚，期待与会专家深入交流前沿成果，为哈师大数学学科发展及龙江数字经济建言献策。第十五届中国数学会计算机数学大会专委会主任、中国科学院数学与系统科学研究院李洪波研究员回顾了计算机数学专业委员会的发展历程与学术使命，分享了计算机数学在推动科技创新和产业升级中的关键作用，呼吁学界与产业界加强合作，深化基础理论研究，共同破解领域核心难题。大会程序委员会共同主席、湖北大学数学与统计学学院院长郑大彬教授则重点阐述了本次大会的议题设置思路，既涵盖计算机数学基础理论，又延伸至交叉领域应用，肯定了对青年学者的培养与支持，希望通过大会促进学术传承与创新。

开幕式后，大会邀请中国科学院数学与系统科学研究院高小山研究员、王定康研究员，中国科学院重庆绿色智能技术研究院吴文渊研究员，北京大学董彬教授，武汉大学何德彪教授分别作大会报告，主题包括《深度学习泛化与安全的数学理论》《生物数据安全处理中的数学问题与医学应用》等。此外，9位近年来在计算机数学领域取得突出成果的青年学者汇报了最新研究成果，70余位分组报告人围绕数学机械化理论与算法、自动推理和机器证明、计算机代数、计算机图形学与计算几何、智能制造、编码与密码、组合理论与算法、量子计算、人工智能中的数学理论、数学软件等方向展开深入探讨。

大会期间还安排了多场高质量报告、专题研讨和特色活动，吸引了众多师生及科研工作者到场聆听，现场反响热烈，全面展现了计算机数学领域的前沿动态与创新成果，实现了“学术交流、思想碰撞、合作共赢”目标。