软件分析与验证研讨会 SAVE 2018

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

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

今年的研讨会将于2018年5月26日、27日在杭州举行，由浙江理工大学信息学院承办。