SETTA 2020 国际学术会议即将召开，欢迎大家参加！

会议简介

SETTA（Symposium on Dependable Software Engineering: Theories, Tools and Applications，可信软件工程：理论、工具与应用国际会议）是由中国科学院软件研究所（ISCAS）发起的国际性年度学术会议，由林惠民院士担任大会主席。SETTA旨在追求卓越的学术水平，促进可信软件领域前沿理论与技术的交流与合作。本届会议（SETTA 2020）由广州市智能软件产业研究院承办，中科软件测评（广州）有限公司协办，会议议程主要包含主会与专题论坛两个部分。

详情请查阅会议官方网站：
http://lcs.ios.ac.cn/setta2020/index.html

主会

主会将于11月24日至26日，以网络会议形式在线进行。

直播地址：
https://live.bilibili.com/22506601 （免费）

主会日程
http://lcs.ios.ac.cn/setta2020/program.html

专题论坛

专题论坛 International Workshop on Artificial Intelligence and Formal Methods（AI & FM 2020）将于11月27日、28日线下进行（需注册），论坛将对可信人工智能与程序分析领域的前沿问题进行探讨。AI & FM 2020 由以下两个子研讨会组成。

• 研讨会I：可信深度学习（Dependable Deep Learning）

• 研讨会II：程序分析与验证（Program Analysis and Verification）

线下会议地址：
广州市南沙区环市大道西221号锦珠广场A5栋4楼

专题论坛日程
http://lcs.ios.ac.cn/setta2020/workshop.html