7月8日至9日，“可信人工智能”系列研讨会（北京站）在中国科学院软件研究所举办。 

本次研讨会由软件所计算机科学国家重点实验室发起，是中国计算机学会形式化方法专委会2023年度重要活动之一。英国利物浦大学教授黄小炜和软件所研究员张立军为本次研讨会共同主席。

研讨会采用线上和线下结合的方式进行，来自多所高校、研究机构和企业的50余位代表线下参会。黄小炜、中国科学技术大学/苏州高等研究院研究员薛吟兴、中国科学院信息工程研究所研究员陈恺等共带来了11场报告，内容涵盖安全可信的AI系统面临的挑战，自动驾驶系统深度学习模型的研究现状与测试方法，自动驾驶验证流程和工具链，Al安全：攻击、防御和解释，机器人控制，基于模型的可靠可信控制策略强化学习等热门主题。会议期间，报告人与参会人员进行了充分的学术交流与讨论，会议气氛热烈，取得了预期效果。 

该系列研讨会分别在北京、长沙（7月15日至16日）、上海（7月22日至23日）三地举行。国内外人工智能、形式化方法、网络安全、软件工程等相关方向的专家学者将围绕“可信人工智能”进行研讨，以期凝练可信人工智能的重点研究方向、讨论未来发展趋势，促进可信人工智能研究在中国的进一步发展。