4月24日至25日，由中国科学院软件研究所、信息工程研究所共同主办的可信人工智能研讨会在北京召开。来自国内外多所高校与研究机构的专家学者、青年学生50余人参会。与会者围绕“可信人工智能”主题，就该领域前沿理论、关键技术和未来发展方向等内容进行深入研讨。

软件所“中国科学院国际交流计划”（PIFI）项目负责人詹乃军研究员、软件所张立军研究员和信工所侯锐研究员担任研讨会共同主席。英国皇家工程院院士、英国约克大学Jim Woodcock教授，法国国家信息与自动化研究所高级科学家Jean-Pierre Talpin教授，斯德哥尔摩大学Valentin Goranko教授，利物浦大学黄小炜教授，软件所韩腾研究员，清华大学姜宇副教授，北京大学李萌助理教授等专家分别就智能系统形式化建模、微内核程序验证、基础模型安全保障、智能系统模糊测试、机器学习隐私保护等主题开展了十余场精彩的学术报告。

部分参会专家合影

研讨会受到“中国科学院国际交流计划”（PIFI）支持，交流计划外方团队负责人Jim Woodcock教授、Jean-Pierre Talpin教授获颁“PIFI杰出学者”证书。

詹乃军为外方团队负责人颁发PIFI杰出学者证书

本次研讨会的召开促进了我国可信人工智能研究的发展，推动了人工智能、形式化方法、软件工程、信息安全等相关领域的学术交流与合作。