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