搜索
首页  〉  学院新闻  〉 详情
计算模型理论与应用会议举行
作者:李敏编辑:管煜点击量:

9月20日至21日,由山东师范大学主办的“计算模型理论与应用会议”在山东济南举行。校党委副书记万光侠出席会议。来自北京工业大学、北京航空航天大学、北京交通大学、中国科学院数学与系统科学研究院等30余所国内外高校的70余名专家学者及学校教师、研究生参加会议。开幕式由学校数学与统计学院执行院长赵强主持。



万光侠向来自海内外的专家学者表示诚挚的欢迎和衷心的感谢,介绍了学校的历史沿革、数学与统计学院的办学成绩。他表示,学校与运筹学研究的发展渊源颇深,自20世纪60年代学校管梅谷教授提出“中国邮递员问题”以来,在图论与组合优化领域不断发展。他表示,本次会议汇聚了来自世界各地的顶尖学者,聚焦计算模型的理论前沿与智能时代的重大挑战展开深入研讨,将促进计算理论与人工智能的深度融合,为全球学者搭建高水平的学术交流平台。

计算模型理论与应用(TAMC)会议指导委员会委员、北京航空航天大学教授李昂生回顾了TAMC自创办以来的发展历程,肯定了学校的组织工作,并对会议推动理论深化与应用拓展寄予厚望。中国运筹学会数学规划分会理事长、北京交通大学教授孔令臣介绍了中国运筹学会数学规划分会,并预祝会议圆满成功。会议的程序委员会联席主席、山东大学教授张鹏介绍了会议的基本情况。

会上,上海交通大学教授陈翌佳作“Understand Uncolored CFI-graphs”的报告,深入解析了CFI图在图同构测试及计数逻辑中的核心作用,指出带色与不带色CFI图在多数应用中具有等效性,为相关研究提供了新的理论视角。中国科学院深圳先进技术研究院教授孙贺作题为“Dynamic Spectral Clustering with Provable Approximation Guarantee”报告,以谱聚类为主题,系统介绍了动态环境下的谱聚类算法及其理论保证,并提出了若干开放性问题,引发与会学者广泛关注。

会议还举行了32个分组报告,围绕计算复杂性与算法、计算模型、逻辑与证明理论、算法博弈论、并行与分布式计算、计算几何与图论、组合优化、参数化算法以及连续优化与格优化等多个研究方向展开讨论。

本次会议围绕计算理论与人工智能领域,加强了国内外高校和科研机构之间的合作与交流,提升了学校在该领域的学术影响力,为后续开展更广泛的学术探索与合作奠定了坚实基础。



初审:葛海滨

终审:向玉贞