由jbo竞博电竞官方网站数据科学与jbo竞博电竞官方网站、华南理工大学软件学院、广东省计算机学会软件工程专委会共同承办的全国软件分析与验证研讨会（SAVE2019）于2019年6月1日至2日在广州大学城隆重举行。本次研讨会是庆祝jbo竞博电竞官方网站计算机科学系成立40周年系列活动之一。
2019年6月1日，本次研讨会举行开幕式，参加会议的嘉宾有华南理工大学软件学院副院长杨晓伟教授、中国科学院软件研究所张健研究员、jbo竞博电竞官方网站数据科学与jbo竞博电竞官方网站院长钱德沛教授、国家超级计算广州中心副主任肖侬教授等20余位国内从事软件分析与验证领域的知名学者和企业代表。钱德沛院长致开幕词，向在百忙之中莅临本次研讨会的各位专家学者表示热烈欢迎和衷心感谢！
钱德沛院长致开幕词
全国软件分析与验证研讨会于2009年开始举办，主题涉及软件分析与验证的理论基础、算法设计、现实应用等多个方面，是我国软件分析和验证以及相关领域的研究人员进行交流的一个重要平台。
本次研讨会共有160名来自香港科技大学、中国科学院软件研究所、清华大学、北京大学、国防科技大学、中国科学技术大学、上海交通大学、复旦大学等科研院校的专家学者，以及北京华为数字技术有限公司等企业的研究人员前来参加。
本次研讨会共有香港科技大学林方真教授、中国科学技术大学陈意云教授、复旦大学杨珉教授、西安电子科技大学田聪教授、大连理工大学江贺教授、jbo竞博电竞官方网站黄凯教授、北京华为数字技术有限公司刘洪宇研究员等21位研究人员分享所从事研究的最新成果。报告内容包括：Translating Programs to First-Order Logic、 安全C语言串行程序的验证系统、云端融合的智能软件服务系统、智能软件系统的数据驱动测试方法与技术等。
国防科技大学王戟教授作为特邀嘉宾主持本次研讨会的自由讨论环节，各位专家就如何针对以机器学习、深度学习为代表的智能软件系统进行软件测试与分析展示了热烈讨论。
来源：万海
编辑：SDCS传媒中心、徐瑛
初审：顾颖能
审核：陈凌
审核发布：谢曼华