2025年1月5日至12日,受国家自然科学基金数学天元基金项目资助,深圳大学数学科学学院在粤海校区举办了“符号计算天元数学专题讲习班”。此次讲习班的目的是让新学员了解符号计算这一数学与计算机科学的交叉学科,学习其中的基本概念、思想、方法和软件,帮助青年教师和学者掌握各种先进的理论、算法和技巧,促进不同领域科研人员之间的学术交流与合作。本次讲习班共吸引了来自北京大学、上海交通大学、天津大学、大连理工大学、中国科学院数学与系统科学研究院等20余所高等院校和科研院所的共计60余位青年教师和在读学生(博士生、研究生、高年级本科生)注册参加。1月6日上午,开班仪式在汇星楼4号教室举行。深圳大学数学科学学院李楠副教授主持开班仪式。
数学科学学院院长致辞。他首先对各位专家和同学的到来表示热烈欢迎。他表示符号计算是数学与计算机科学相联系的重要纽带,在有效算法的设计与实施、软件系统的开发与研制中起到了重要作用。他指出深圳大学数学科学学院已形成完整的本科-硕士-博士-博士后培养体系,希望通过举办本次专题讲习班,进一步促进符号计算研究的发展和交流。
欧洲科学院院士、北京航空航天大学王东明教授代表讲习班组织团队致辞。他肯定了符号计算作为人工智能数学基础之一的重要性,回顾了自2004年第一期符号计算暑期讲习班至今的发展历程。他鼓励优秀研究生和青年学者加入符号计算及其相关领域的研究行列,为发展壮大我国在该领域中的学术队伍,促进符号计算与相关领域的交叉融合,提高我国的科研水平和学术地位而共同努力。
本次讲习班为期7天,共组织了法国国家信息与自动化研究所Fabrice Rouillier主任研究员等讲授的六门共计32学时短课程,主要向学员介绍符号计算的若干基本概念、技巧和方法以及符号计算在其他方向的应用与交叉研究。
本次讲习班还邀请了中国科学院数学与系统科学研究院李洪波研究员、中国科学技术大学陈发来教授、大连理工大学雷娜教授等带来12个前沿讲座,报告符号计算及相关领域的重要科研成果和最新进展。
学员们认真聆听课程和讲座,并将所学内容与自身研究相结合,同主讲人和报告人深入交流。大家纷纷表示活动安排紧凑、内容丰富、学习氛围浓厚、收获颇丰。