软件分析与验证讨论会

会议简介

由全国软件分析与验证研讨会组织委员会主办,中山大学数据科学与计算机学院及华南理工大学软件学院联合承办的全国软件分析与验证研讨会,将于2019年6月1日-2日在广州市番禺区大学城华工北路68号华工大学城中心酒店举行。研讨会已于2009年、2010年、2011年、2012年、2013年、2014年、2015年、2016年、2017年、2018年分别在北京、南京、长沙、苏州、上海、北京、大连、长沙、南京和杭州成功举办。

研讨会主题涉及软件分析与验证的理论基础、算法设计、现实应用等多个方面。大会既支持对已发表工作的介绍,也支持对进展中的科研工作开展交流,是我国软件分析和验证以及相关领域的研究人员进行交流的一个重要平台。大会期间,将有150余位来自国内外计算机领域专家学者及优秀企业家为参会者带来近20个高水准的大会报告。

我们诚邀您的参与,一定会有超预期的收获!

历届会议