金沙澳门游戏网址
  • 金沙城娱乐场官网平台
  • 当前位置: 网站首页 > 金沙城娱乐场官网平台 > 正文
  • 第十届全国软件分析与验证研讨会(SAVE 2018)在我校成功举行
    时间:2018-06-01 浏览次数:

    第十届全国软件分析与验证研讨会(SAVE 2018)于5月26-27日在金沙城娱乐场官网平台顺利举行。本次会议由全国软件分析与验证研讨会组织委员会主办,金沙城娱乐场官网平台金沙澳门游戏网址承办。研讨会邀请了20位活跃在软件分析与验证领域研究一线的专家和学生做报告,报告主题涉及软件分析与验证的理论基础、算法设计、现实应用等多个方面。另外,研讨会组织了工具展示环节。本届研讨会共吸引了140多名学者和学生参加。

    金沙城娱乐场官网平台金沙澳门游戏网址院长丁佐华教授致开幕词,中科院软件研究所张健教授介绍了SAVE研讨会历年的基本情况。随后,国防科技大学的董威教授,中国科学院信息工程研究所的陈恺研究员,南京大学的陈振宇教授等专家学者做了精彩的报告。

    研讨会自2012年开始已经举办7届,其纯学术探讨、不出版论文集的特点历年来得到了参会学者和研究生的热烈响应,已成为我国软件分析和验证以及相关领域的研究人员进行交流的一个重要平台。

    本次研讨会的更多相关信息可在http://save.ios.ac.cn/2018/上查阅。




    金沙城娱乐场官网平台
    • Copyright © 2014  金沙澳门游戏网址-金沙城娱乐场官网平台 All rights reserved. 浙ICP备10006424号

    • +   网站介绍
    • 技术支持:
    • 捷点科技