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

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

会议简介

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

详情请查阅会议官方网站：​​​（免费）

主会日程​​​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-/setta2020/workshop.html​​

版权声明：本文内容由网络用户投稿，版权归原作者所有，本站不拥有其著作权，亦不承担相应法律责任。如果您发现本站中有涉嫌抄袭或描述失实的内容，请联系我们jiasou666@gmail.com 处理，核实后本网站将在24小时内删除侵权内容。