智能系统分析和验证论坛

---

深度学习是人工智能领域的一个新兴技术，近几年在一些长期未解决的任务取得了与人类相当的能力。然而，目前深度学习系统同时面临着亟待解决的安全性和可靠性等可信性问题，比如对于自动驾驶系统，路标的识别错误可能会导致灾难性的后果。深度学习系统的可信性已经逐渐成为制约人工智能技术在实际生产和生活中应用的关键问题，尤其是安全攸关领域。如何对智能系统进行分析和验证以提高智能系统的可信性是一个亟待解决的问题，也亟需国内外学者对相关各类新兴技术开展广泛的探索、尝试和交流。

ChinaSoft 2021 智能系统分析和验证Track关注智能系统的安全内涵与可解释性、智能系统的形式化验证、智能系统的测试技术、智能系统的对抗攻击技术、智能系统在软件工程的应用等相关技术方法，针对学术和产业面临的难题、挑战和瓶颈，征集国内外研究人员在理论、技术方面取得的重大突破和具有创新性、影响力的高水平研究成果，并探讨其未来的应用前景。

论坛组织委员会：

明 仲（深圳大学）

张立军（中科院软件所）

秦胜潮（华为香港研究所）

日程安排：

时间：2021年12月24日（星期五），14:00~18:00

   2021年12月25日（星期六），10:40~12:30

论坛议程：

论坛组织委员会简介：

论坛主席：明仲

简介： 明仲，教授，深圳大学研究生院执行院长。中山大学大学计算机软件与理论博士毕业。 2004年晋升计算机学科教授。现为鹏城学者特聘教授，深圳大学二级教授，华东理工大学兼职教授，深圳大学及中国科学院深圳先进技术研究院博士生导师，教育部计算机类教学指导委员会委员，深圳市计算机学会理事长, 中国计算机学会理事(第8届)，广东省省部院物联网产学研联盟副理事长， CCF YOCSEF(北京)AC荣誉委员，曾任CCF YOCSEF(广州)主席，广东省“千百十工程”省级培养对象。深圳大学计算机软件与理论学科带头人。获国家教学成果奖1次，广东省优秀教学成果一等奖3次、二等奖2次。2009年被评为深圳市优秀教师。“云数据交换和服务调度平台及应用” 获得2013年度的广东省科学技术奖一等奖（排名第一），“基于数据集成和信息共享的ESB集成平台软件”项目，获2009年度深圳市科技创新奖（排名第一），并获得2010年度的广东省科学技术奖三等奖（排名第一）。 获电子学会科技进步一等奖和吴文俊人工智能科技进步一等奖。共发表学术论文100多篇。

论坛主席：张立军

简介： 张立军，博士，中国科学院软件研究所研究员，博士生导师。研究工作主要涉及概率模型，模拟规约、智能学习算法、抽象和模型验证等领域。在国际知名会议和期刊发表高水平论文140多篇，包括CCF A类文章20多篇，主持了科技部重点研发计划课题、国家自然基金委重点项目、国家自然基金委国际合作项目、国家自然基金委面上项目、中德科技中心项目、 中科院项目等多个国家级科研项目。

论坛主席：秦胜潮

简介： 秦胜潮，北京大学学士（1997）、博士（2002），华为高级技术专家，IEEE和ACM高级会员。2002-2004在新加坡国立大学担任新加坡-MIT联盟计算机科学研究员。2005年开始在英国Durham和Teesside大学任教，2011年晋升正教授（2021年起休离职假）。主要研究领域包括软件理论与形式化方法，软件工程，程序语言等。研究工作主要涉及形式化规范和建模，程序理论和程序逻辑，程序分析与验证等。在基于分离逻辑的程序分析与验证领域，带领团队发表了多篇高水平的国际学术论文，在这方面的工作有超过 700 多次的引用。截止目前已在国际知名期刊和会议发表高水平论文130多篇。