12月8日，应数学与信息学院邀请，西南交通大学宋振明教授在图书馆102学术报告厅作了题为“自动推理的应用”的学术报告。数学与信息学院部分教师及学生共200余人聆听了报告。报告会由数学与信息学院院长郝涌教授主持。
报告中，宋振明首先从民用和国防领域介绍了自动推理的理论渊源和应用方向，举例说明如何使用自动推理技术验证程序的可信性。并且向大家介绍了“系统可信性自动验证国家地方联合工程实验室”和研究团队的最新研究成果。
报告会后，我校校长施昌海亲切接见了宋振明教授，就人才培养、学科建设等方面进行了深入交流。
宋振明，西南交通大学教授，国家级实验室“系统可信性自动验证国家地方联合工程实验室”负责人。主要研究方向为智能信息处理、自动推理。先后在“科学通报”、Information Science、Int. J. of Intelligent Systems等国内外重要学术刊物发表论文60余篇，出版专著4部，其研究成果曾获铁道部和四川省科技进步奖。
