软件分析与验证研讨会
2009, 北京(小范围)
SAVE 2010
, 南京
SAVE 2011, 长沙
SAVE 2012
, 苏州
SAVE 2013, 上海
SAVE 2014
, 北京
SAVE 2016
, 湖南
SAVE 2018
, 杭州