2015年4月10 日，美国麻省理工大学邱晓康研究员访问了重点实验室，并做了题为“Natural Proofs for Computer-Aided Programming"的报告。谢冰、黄罡、张路教授，熊英飞研究员等参加了报告并进行了热烈的讨论。会后，邱晓康研究员就软件工程研究所招聘政策、工作环境、教师待遇等问题进行了广泛的交流。
