本网讯 11月25日-26日，2016年数学机械化与教育信息技术研讨会在成都召开，中国科学院院士张景中、中国科学院院士周巢尘等知名专家出席研讨会，来自国内各高校、科研机构的100多名代表参加了研讨会，我校“贵州省教育大数据技术与教育数学院士工作站”的院士团队是张景中院士团队，院士工作站管理办公室负责人肖宏治副院长和“贵州省普通高等学校教育大数据技术与应用工程技术研究中心”负责人熊伟程出席了研讨会。

本次研讨会由中国科学院成都计算机应用研究所、广州大学数学教育软件研究中心主办，中国科学院重庆绿色智能技术研究院、四川省计算机学会承办。本次会议主题是研讨张景中院士的数学机械化理论与教育信息技术，包括数学机械化理论、算法和软件实现，符号计算、符号与数值混合计算，自动推理与机器证明，教育软件研究与应用，教育信息技术，智慧学习与智慧教育，动力系统等。会议旨在汇聚国内数学机械化与教育信息技术方面研究与应用的专家教授、研究学者、行业精英、工程技术人员和在校研究生，共同探讨数学机械化与教育信息技术及相关领域的最新进展，展示学术界最重要的理论、技术成果及最新新产品的应用。

参会期间，肖宏治、熊伟程就贵州省教育大数据技术与教育数学院士工作站后续工作的开展、数学机械化与教育信息技术等方面的问题与张景中院士及其团队进行沟通和咨询。

文/图 数学与计算机科学学院  审核/熊伟程

我校参会教师与张景中院士交流

合影