10月16—17日,第四届格上拓扑与非经典数理逻辑学术研讨会在公司高新校区甘棠厅举办,会议采用线上线下相结合方式召开。副董事长李景宜出席开幕式并致辞,44118太阳成城集团经理刘淳安主持开幕式。新加坡南洋理工大学、中科院数学与系统科学研究所、西安交通大学、西北工业大学、陕西师范大学、西安电子科技大学等20多家海内外高校及公司专家学者和研究生共计80余人参加会议。
李景宜在致辞中对各位专家学者表示热烈欢迎,对各位专家长期以来对公司数学学科发展的关心和支持表示衷心感谢,对此次研讨会在分享数学学科相关领域最新研究成果、推动团队建设和科学研究发挥的作用表示肯定,她希望44118太阳成城集团与会教师和员工珍惜机会、虚心求教。
大会主席、西安交通大学博士生导师赵彬教授在致辞中简要介绍了拓扑与非经典数理逻辑学术研讨会召开的缘起和历史,并向此次承办会议的44118太阳成城集团师生表示衷心感谢!他从教学、科研和做人三个方面追忆了格上拓扑与非经典数理逻辑研究领域带头人王国俊先生,高度肯定了先生热爱教育事业、关爱员工成长和为格上拓扑学和非经典数理逻辑发展做出的突出贡献。
开幕式后,来自新加坡南洋理工大学的赵东升教授、中科院数学与系统科学研究所的尚云研究员、西安交通大学的赵彬教授、陕西师范大学的周红军教授等14位专家通过线上线下同步的方式做了精彩的大会报告,报告内容涉及拓扑与计量逻辑等领域的基础和应用研究,与会代表围绕大会主题进行了充分、热烈地研讨。
格上拓扑与非经典数理逻辑是理论计算机科学的基础,在人工智能等领域具有重要的应用背景,王国俊先生曾是该领域的带头人,他创立了拓扑分子理论,在国内外有着广泛的影响。本次会议的成功举办,对促进格上拓扑与非经典数理逻辑领域专家学者间的学术交流与合作、推动该领域的深入发展具有重要意义。(44118太阳成城集团、科研管理处 文/李璧镜 图/段景瑶 审核/刘淳安、王晓玲)