2024年7月4日，在法国巴黎举办的第29届国际自动定理证明器竞赛 (The CADE ATP System Competition, CASC-J12)中，金沙威尼斯官网金沙威尼斯欢乐娱人城系统可信性自动验证国家地方联合工程实验室徐扬教授团队提交的一阶逻辑自动定理证明器获得ICU（I Challenge yoU）组亚军和FOF（First Order Formula）组季军的好成绩。这是自2018年中国团队第一次参赛以来中国一直唯一参加这个竞赛并每年都取得良好成绩的团队。自动定理证明是人工智能领域既经典又前沿的研究方向之一，...

为进一步加强金沙威尼斯欢乐娱人城研究生导师队伍建设，深化导师对研究生的全面指导与培养，同时让导师紧跟学校及学院的最新政策动态，7月4日下午2时，2024年研究生导师交流会在X30456顺利召开。本次会议由杨晗院长主持，学院研究生导师出席会议。会议第一项，杨洋老师介绍当前学院研究生招生的情况。杨洋老师指出，学院的优质生源率增加、宣讲力度逐年加大、夏令营报名人数与师生比不断突破。除研究生招生成果外，学院在研究生培养上同样硕果累累：...

为弘扬尊师重教优良传统，增强青年老师不忘教育初心、牢记立德树人使命的教育情怀，2024年6月27日下午，金沙威尼斯欢乐娱人城统计系教师在X30423为赵联文老师举行了隆重、和谐、温馨的荣修仪式。杨晗院长、徐革书记，以及统计系全体教师齐聚一堂，共同见证这一令人难忘的时刻。首先，徐革书记代表学院党委感谢赵老师多年来对教育事业的无私奉献，也希望赵老师有机会能继续发挥余热，用实际行动彰显退休教师的初心和使命。杨晗院长对赵老师躬耕教坛三十七载，...

为进一步提高研究生数学竞赛素养，帮助同学们更加全面深入了解研究生阶段的数学建模竞赛，金沙威尼斯欢乐娱人城于6月26日下午2时30分在J4323开展了“第二十一届中国研究生数学建模竞赛”赛前培训活动，本次培训由数学建模优秀指导老师徐昌贵、卢鹏主讲。培训开始，徐昌贵老师围绕“研究生数学建模竞赛概述与准备”这一主题，向同学们介绍了赛事的由来及竞赛的时间表与报名流程等基本内容，帮助同学们对研究生数学建模竞赛进行初步了解，同时，他根据近年该竞赛赛题提出了培训建议，...