报告题目：程序可信性自动验证与自动推理

报 告 人：宋振明

报告时间：2016年12月8日（星期四）上午10:00-11:30

报告地点：计算机楼106教室

报告摘要：信息系统的可靠性和可信性需用科学的方法给予验证，可信性验证是逻辑学、人工智能、计算机科学领域重要的研究及应用方向之一。该报告介绍可信性自动验证的技术、自动推理，以及报告人所在研究团队的最新研究成果。

报告人简介：宋振明，西南交通大学教授，系统可信性自动验证国家地方联合工程实验室副主任。主要研究方向：智能信息处理、自动推理。先后在“科学通报”、“Information Science”、“Int. J. of Intelligent Systems”等国内外学术刊物发表研究论文 60 余篇，出版编著4部，其研究成果曾获铁道部和四川省科技进步奖。

欢迎广大师生参加！

                                              计算机与信息技术学院

                                                 2016年12月7日