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

　　本次研讨会由软件所计算机科学国家重点实验室发起，是中国计算机学会形式化方法专委会2023年度重要活动之一。英国利物浦大学黄小炜教授和中国科学院软件研究所张立军研究员为本次研讨会共同主席。程序委员会成员有国防科技大学刘万伟教授、陈立前副教授，华东师范大学蒲戈光教授、张民教授。本地组委会成员有中国科学院软件研究所吴志林研究员、官极副研究员，西北工业大学沈博副教授。 

　　研讨会（北京站）采用线上和线下结合的方式进行。来自多所高校、研究机构和企业的50余位代表线下参会，线上参会人数高峰期有110余人。黄小炜教授、中国科学技术大学/苏州高等研究院薛吟兴研究员、中国科学院信息工程研究所陈恺研究员、首都师范大学邵振洲研究员、软件所荆明轩博士后、紫金山实验室黄炜博士及工业界合作伙伴等共带来了11场报告，内容涵盖安全可信的AI系统面临的挑战，自动驾驶系统深度学习模型的研究现状与测试方法，自动驾驶验证流程和工具链，Al安全：攻击、防御和解释，机器人控制，基于模型的可靠可信控制策略强化学习等热门主题。会议期间，报告人与参会人员进行了充分的学术交流与讨论，会议气氛热烈，取得了预期的效果。 

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

研讨会（北京站）会议现场

张立军致辞

黄小炜作报告

报告人作报告