11月23日-29日，在广州市南沙区科学技术局、工业和信息化局指导下，由广州市智能软件产业研究院主办，中国科学院软件研究所、广州中国科学院软件应用技术研究所协办的第二届智能软件国际论坛IFIS2020成功举办。论坛以“线上主论坛+线下研讨会”形式进行。在疫情防控常态化背景下，线上论坛通过ZOOM、Bilibili、腾讯会议等直播，研讨会在我院学术报告厅举行，为期4天的线上论坛，累计在线参会人数超过1700余人次。论坛设主论坛、研究院培育/孵化项目路演、高可靠智能软件分论坛、形式化方法（AI&FM2020）线下研讨会。

欧洲科学院院士、德国萨尔大学教授Holger Hermanns博士，ACM Fellow、德国萨尔大学教授Andreas Zeller博士，世界艺术与科学院院士、南方科技大学讲席教授Georgios Theodoropoulos博士，英国计算机学会会士、ACM高级会员、西南大学刘志明教授，新加坡南洋理工大学教授刘杨博士，中国科学院软件研究所研究员、副总工程师武延军博士，浙江大学教授赵永望博士等国内外智能软件领域专家应邀为大会做主题报告。

23日上午举行的主论坛上，Georgios Theodoropoulos院士以“From Big Data to Big Models: The next frontier for Info-Symbiotic Systems（从大数据到大模型：信息共生系统的下一个前沿）”为题作了主题报告，他的报告重点讨论了信息共生系统中模拟与数据之间的相互作用，勾勒出一个面向智能共生系统的蓝图及其中的技术难点与未来发展方向。刘志明教授的报告题目是：人机物融合计算模型与系统架构模型，报告了从建立系统工程的科学基础的角度，探讨目前缺乏人机融合计算的计算模型及相应的理论，以及该理论的重要性和模型应有的特征，提出建立统一的人机物融合系统的统一元语义模型理论研究方向。刘杨教授围绕“网络安全与人工智能融合”，报告了网络安全如何更好地使用人工智能算法以及人工智能算法的局限性，并介绍了近期的工作成果DeepStudio，面向深度学习系统开发周期质量和安全保证的全栈式分析框架，主要包括针对全新训练模型的数据和鲁棒性分析以及深度学习系统部署时的兼容性分析。武延军研究员在“开源软件供应链的研究与实践”报告中，详细介绍了他所带领的团队当前主要开展的研究工作：开源软件供应链和RISC-V开放指令集系统软件及工作成果。

▲线上论坛

▲线上论坛

▲线上论坛最高621人同时在线

23日下午进行了研究院培育/孵化项目路演，由研究院培育/孵化团队：(1)路灯物联网概念的提出者和智慧城市的引领者-中科智城；(2)日本东京大学海归博士创办、专注于提供人工智能核心算法及计算机视觉行业解决方案-中科凯泽；(3)上市公司永融科技创办、专注于智能工业互联和数据云的研究与应用-中科永信；(4)中科院软件所研究员创办、专注于自然语言处理、知识图谱与人工智能技术在金融领域的研究与应用-数据地平线（广州）；(5)中科院软件所研究员、欧洲科学院院士领衔的高可靠智能软件等5个项目分别进行了研发成果及产业化进程介绍。

24-26日举行的高可靠智能软件分论坛及27-29日的形式化方法（AI&FM2020）线下研讨会，来自中科院软件所、利物浦大学、清华大学、南京大学、卢森堡大学、国防科技大学、西南大学、深圳大学、华东师范大学、深圳鹏城实验室等国内外的研究人员参加了线上论坛并作了论坛论文发表。本次论坛的成功举办，进一步促进了智能软件领域的研究成果交流、人才合作交流、成果产业化展示。

▲形式化方法（AI&FM2020）线下研讨会

“智能软件国际论坛IFIS”是由广州市智能软件产业研究院主办的智能软件领域年度会议，以“打造全球性的智能软件高端会议、推进建设具有全球影响力的交流平台、推动智能软件产业和技术创新融合发展”为目标；以汇聚智能软件领域学术界、产业界知名科学家和业界精英，围绕全球前沿热点、核心技术以及话题进行交流，关注智能软件产业发展现状和未来发展态势为宗旨，推动智能软件和各产业领域深入融合，实现政、产、学、研、资等多方合作、交流、发展、共赢。