第二届可验证软件研讨会暨暑期学校在我校顺利举行
发布时间:2012-09-12 浏览量:789

          

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

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

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

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

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

bat365在线中国登录入口bat365中文官网登录入口
学院地址:上海中山北路3663号理科大楼

                上海市浦东新区楠木路111号
院长信箱:yuanzhang@sei.ecnu.edu.cn | 办公邮箱:office@sei.ecnu.edu.cn | 院办电话:021-62232550
Copyright bat·365(中文)在线官方网站-登录入口 版权所有