计算机与信息工程学院为迎接百年校庆开展系列学术活动，2011年 10月13日到14日，应学院邀请，国际著名软件理论专家、Z语言和B方法的创建者J.R Abrial教授、北京大学裘宗燕教授、清华大学周东华教授先后访问我校。

13日下午，J.R Abrial教授在计算机大楼为学院师生做了题为“Software and System developments using Formal Models, Refinements, and Proofs with Event-B”的学术报告，为同学们讲授了基于 Event-B 的软件和硬件系统设计、建模和形式化验证。

14日下午，周东华教授做了题为“复杂工程系统的故障预测与预测维护技术”的学术报告，分别对复杂工程系统的故障预测与预测维护技术的立项背景、国内外研究现状、研究现状和研究前景向同学们进行了讲解，并对同学们提出的问题进行了耐心细致的回答。报告会后，周教授与学院教师就学科建设、科学研究方法和科研队伍培养等问题进行了座谈。

Jean-Raymond Abrial教授是国际著名软件和软件理论专家，Z 语言和 B 方法的创建者，软件形式化开发领域的最主要奠基人之一，参与和指导了欧洲许多重要的关键性软件开发项目。裘宗燕教授，北京大学数学科学学院博士生导师。周东华教授，长江学者，国家杰青项目获得者，清华大学信息科学技术学院副院长，自动化系主任，博士生导师。