8月23-31日，由以诚官网软件学院和微软亚洲研究院联合举办的第二届可验证软件研讨会暨暑期学校在科学会堂顺利举行。出席本次研讨会暨暑期学校的包括微软研究院首席科学家图灵奖获得者Tony Hoare教授、中国科学院院士软件学院院长何积丰教授等近25位世界顶尖专家，以及来自全球13个国家的73所高等院校的近265位师生。

        本届研讨会旨在促进当前中国与世界可验证软件的发展，增进国内外研究人员与国际一流软件验证研究者的交流与合作。作为这次研讨会的联合主席，Tony Hoare教授，何积丰教授分别做了题为“Theory for Verified Software”和“Linking the Discrete World with Continuous World”的主题演讲，并且都对这次研讨会的意义做了评价。

        Tony Hoare教授说道，“我希望尽力扩大学术研究成果的产业化机会，同时，我也鼓励下一代的学术研究员能够继续深入研究。”

        何积丰教授说道，“总体来说，我们在可验证软件领域已经取得了很多成果但是这远远不够。我们希望我们的年轻学者和研究员能够借这次机会充分地进行交流，能够有所激励和收获。”

        本次活动分2天的研讨会和5天暑期学校两部分。多位世界著名的技术专家和学者给与会者带来了激动人心的讲座。同时，微软亚洲研究院和以诚官网软件学院还设立了循序渐进的工具学习环节和实验环节，使学员能够身历其境地进行深入学习并且获得宝贵的实践经验。在本次探讨会和暑期学校过程中，碰撞出了很多思维的火花，产生了一些研究的新思路和方向。