11月21日，《International Journal of Computational Intelligence Systems》（国际计算智能系统杂志）以徐扬、郭海林、陈树伟（西南交通大学数学学院系统可信性自动验证国家地方联合工程实验室）和Jun Liu（英国Ulster大学计算机系）为共同第一作者发表了“Δ1：An Automated Theorem Generator（Δ1：一个自动定理生成器）”。这项最新研究成果——命题逻辑和一阶逻辑自动定理生成器Δ1，是中国西南交通大学和英国Ulster大学在自动定理生成方面合作取得的突破进展。...
11月25日，数学学院第五届“镜堂计划”青马工程学生骨干培训班开班仪式在犀浦校区图书馆一号报告厅举行。数学学院党委书记李志辉，党委副书记黄祥，马克思主义学院“融通共育”导师徐倩，数学学院“青年讲师团”成员及百余名青马工程学员参加活动。仪式由数学学院团委书记张素子主持。李志辉在致辞中肯定了数学学院“镜堂计划”青马工程的育人成效与共青团工作的扎实推进，他强调，“青马工程”是共青团为党育人的战略性、引领性、标志性工程，...
为深入推进学风建设与学业帮扶工作，2025年第九期“知行”辅导员工作沙龙于11月25日下午在犀浦校区X30456举办。数学学院党委书记李志辉、党委副书记黄祥，力学与航空航天学院党委副书记孔祥彬，土木工程学院党委副书记刘萍，利兹学院党委副书记刘耀谦和相关学院全体辅导员参会。沙龙特邀四川大学计算机学院党委副书记黎红友做专题报告。黎红友以“精准精细做好学生学业帮扶工作的实践与思考”为主题，立足学生个性化成长需求与辅导员育人初心使命，...
近日，数学学院2023级本科生侯宇欣以第一作者身份投递的论文《ConvNeXt-Based Multimodal Skin Cancer Classification Model with Cross-Modal Attention Pooling》已被2025年第二十届国际智能系统与知识工程大会（ISKE 2025）录用，并于11月21日至23日在广东顺德举行的会议上进行学术报告。作为智能系统与知识工程领域国际知名的学术会议，ISKE 2025旨在为全球该领域学术界、研究界及工业界的技术与科学专业人士搭建高端交流平台，...
2025年11月22日上午，西南交通大学数学学院第四届研究生论坛在犀浦校区综合楼148室举行。论坛由数学学院主办，旨在搭建研究生学术展示与思想碰撞的优质平台，助力学院研究生培养高质量发展。数学学院院长杨晗教授，副院长黎定仕教授，百余名研究生导师及研究生参加论坛。论坛由副院长杨洋教授主持。杨晗为论坛致开幕辞，对莅临现场的专家、师生代表表示热烈欢迎与诚挚感谢。研究生论坛作为学院精心打造的学术品牌与人才培养重要载体，...
2025-12
时间：15:30 地点：X30401 主讲人：李文江
时间：18:45 地点：腾讯会议 主讲人：杨斌
时间：18:45 地点：腾讯会议 主讲人：乔军胜
时间：10:00 地点：X30456 主讲人：朱全新
