原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
中科大—耶鲁高可信软件联合研究中心举办第三届亚太地区形式化
中科大—耶鲁高可信软件联合研究中心举办第三届亚太地区形式化方法暑期学校(新闻稿)
2011年8月13日，为期9天的第三届亚太地区形式化方法暑期学校在中国科学技术大学苏州研究院正式开学。多位著名的国际学者应邀为本次暑期学校授课，来自国内外21所高校与科研院所的81名学员踊跃报名并积极参加了暑期学校。
图：来自法国波尔多第一大学Pierre Casteran教授正在授课
亚太地区形式化方法暑期学校由中法信息、自动化与应用数学联合实验室（LIAMA）于2009年发起。形式化方法是信息学科的重要研究领域，是美国《》（Technology Review）杂志评选出2011年度十大新兴技术崩溃代码（Crash-Proof Code）《》约瑟夫?傅里叶
图： 来自法国INRIA的Yves Bertot研究员正在授课
为了使得学员能够更好地理解所讲授的知识，本次暑期学校采取了理论联系实际的课程安排。上午的课程为理论教学，下午的课程为上机实验。课上课下专家们与学员开展了大量的交流与讨论。中科大-耶鲁高可信软件联合研究中心派出10多名师生承担上机实验的助教工作，帮助学员熟悉实验环境，解答疑难问题。学员们一致认为获益匪浅。在课程的最后一天，来自国内外5所大学的研究团队的代表还展示了在形式化方法领域取得的最新的研究成果，使学员了解到所学内容在前沿研究领域的应用与最新进展，并进一步加深了学员之间的交流。根据暑期学校后期的问卷调查显示，超过90%的学员均对本次暑期学校的授课效果与组织安排表示非常满意。
图：学员们正在上机实践
本次暑期学校的举办获得了中科大计算机学院、苏州研究院和软件学院的大力支持，并获得了来自中法信息、自动化与应用数学联合实验室和清华大学软件学院的大量帮助。参加暑期学校的中科大同学得以与国内外各高校的研究生与教师一起生活学习，并进行深入的交流，对于中科大在该领域的研究生教育和高水平研究人才培养将产生重要的推动作用。本次暑期学校进一步加强了科大与世界一流学者的学术交流，提高了中科大在本领域的国际研究学术声誉。同时本次暑期学校不仅为国内外学者交流形式化方法前沿进展提供了一个良好的平台，而且对于推动中科大计算机学科合作、交流与发展有着重要意义。
图： 学员们在认真听讲
图： 专家和学员合影
文档评论（0）