10月25日至28日,由中国数学会计算机数学专业委员会主办、湖北大学承办的符号计算暨第十届全国计算机数学国际会议在汉召开,来自国内外各大高校、科研院所的180余名专家学者参会。
开幕式上,校党委书记尚钢对前来参会的嘉宾表示欢迎,并介绍湖北大学的基本情况。他表示,此次会议的召开必将进一步促进数学与信息等相关学科的交叉融合,促进学术交流与合作。他希望此次会议为学校相关学科建设对接学术前沿搭建桥梁,为推进学校开放办学、加强交流合作提供机遇。
中国数学会副理事长、中国工业与应用数学学会副理事长、中国科学院数学与系统科学研究院常务副院长高小山研究员回顾了计算机数学的发展,鼓励该领域科研人员为发展数学机械化事业而不懈努力。
中国科学院院士、中国科学院数学与系统科学研究院研究员、博士生导师李邦河带来题为“希尔伯特第15问题和Ritt—吴方法”的首场报告。序列编码领域国际著名学者、西南交通大学唐小虎教授,软件工程和形式化方法领域国际知名学者、中科院软件所詹乃军研究员分别做了题为“Placement-Delievry Array刻画及其应用”和“Formal Analysis and Synthesis of Delay Dynamical and Hynamical and Hybrid Systems”的特邀报告。此外,30余位青年学者和专家做了邀请报告和分组报告。