为深入贯彻落实创新驱动发展战略,加快推动科研创新平台建设,2025年3月26日由金牛区科技局举办成都市“科创天府·智汇蓉城”创新资源供需对接会在成都市先进技术成果西部转化中心举行。数学学院系统可信性自动验证国家地方联合工程实验室积极组织团队及凝练相关应用成果参加了此次专题活动。形式化自动验证研发团队徐鹏老师携高苛求安全控制系统软件验证工具做了现场成果展示和技术咨询;智能监测关键技术研究与应用示范团队杜菁老师携基于人工智能的运动行为监测技及个体化运动干预大数据平台和电子屏网络安全防护系统等应用成果等做了技术讲座和应用场景演示。...
2025年3月20日下午,数学学院在1号教学楼X1515召开全体教职工大会。学院党政领导班子成员与全体教职工参加会议。会议由学院院长兼党委副书记杨晗主持。学院院长兼党委副书记杨晗通报了师德师风建设相关工作,传达了学校近期召开的相关会议精神,介绍了2025年学院主要工作与建设理念与思路。 学院副院长潘小东介绍了本学期教学工作安排,通报了本年度本科教学重点工作,分享了关于教育教学改革的思考。学院副院长李志辉通报了学院关于实验室安全管理的相关工作,...
近日,我院系统可信性自动验证国家地方联合工程实验室徐扬教授团队在一阶逻辑自动定理证明器领域取得突破性进展。所研发的一阶逻辑自动定理证明器CSI_V,采用该团队原创的逆向并行逻辑演绎的科学方案,融合此前国际领先的证明器Vampire,针对该领域最顶级赛事——国际自动定理证明竞赛(International Conference on Automated Deduction —— Automated Theorem Proving System Competition)近五年共2500个竞赛问题,在标准实验条件下进行了对比实验,...
2025年3月7日至10日,由西南交通大学数学学院联合电子科技大学、西华大学共同主办的"趋化模型及相关问题国际学术研讨会"在西南交通大学犀浦校区隆重举行。本次学术盛会吸引了来自复旦大学、上海交通大学、南开大学、中山大学等40余所高校及科研机构的200多位专家学者,共同探讨趋化模型领域的最新研究进展与未来发展方向。会议开幕式由西南交通大学数学学院杨晗院长主持。在为期四天的议程中,与会专家围绕趋化系统动力学、斑图形成机制、...
2025年3月4日下午,王平副校长到数学学院调研学科建设工作,学院班子成员及部分学术骨干参加会议。会上,数学学院院长、党委副书记杨晗就学院建设发展情况进行汇报,重点介绍了人才培养体系、工作思路及发展目标、学科建设与科研工作思路及学院面临的挑战,其他班子成员及学术骨干进行了补充发言。王平副校长在听取汇报之后,对学院学科建设取得的成绩表示肯定,并强调学院要树立远大目标,明确学科发展方向,进行系统规划与落实。王平副校长指出:...
2025-3
时间:10:30 地点:X9301 主讲人:李新华
时间:14:00 地点:X7510 主讲人:李康荃
时间:10:30 地点:X30456 主讲人:朱保成
时间:16:00 地点:X30423 主讲人:詹浩然