软件分析与验证研讨会 SAVE 2016 简介

全国软件分析与验证研讨会于2009年、2010年、2011年、2012年、2013年、2014年、2015年分别在北京、南京、长沙、苏州、上海、北京和大连成功举办。研讨会既支持对已发表工作的介绍,也支持对进展中的不成熟想法的交流。其纯学术探讨、不出版论文集的特点历年来得到了参会学者和研究生的热烈响应,已成为我国软件分析和验证以及相关领域的研究人员进行交流的一个重要平台。今年的研讨会将于2016年12月10日至11日再次在长沙举行,由国防科学技术大学计算机学院计算机科学与技术系承办。


News

  •     
  • 会议举办地址

    湖南长沙延年世纪酒店

    长沙开福区三一大道与车站北路交汇处

    1.湖南长沙延年世纪酒店(会议酒店)

    地址:长沙开福区三一大道与车站北路交汇处

    联系人:夏云飞经理(13548591765)

    价格:标间协议价是348

    2.长沙金汇国际大酒店

    地址:三一大道332号(延年酒店对面)

    联系人:周丹经理(13786180016)

    价格:协议价是288(单间或标间)

    国防科学技术大学计算机学院计算机科学与技术系
    昌灵
    电话:15874978290
    邮箱:save2016@sina.cn
    陈振邦
    电话:13574866832
    邮箱:zbchen@nudt.edu.cn
    董威
    电话:13873105966
    邮箱:wdong@nudt.edu.cn
    王戟
    电话:13975151973
    邮箱:wj@nudt.edu.cn