7月8日至9日，“可信人工智能”系列研討會（北京站）在中國科學院軟件研究所舉辦。 

　　本次研討會由軟件所計算機科學國家重點實驗室發起，是中國計算機學會形式化方法專委會2023年度重要活動之一。英國利物浦大學黃小煒教授和中國科學院軟件研究所張立軍研究員為本次研討會共同主席。程序委員會成員有國防科技大學劉萬偉教授、陳立前副教授，華東師范大學蒲戈光教授、張民教授。本地組委會成員有中國科學院軟件研究所吳志林研究員、官極副研究員，西北工業大學沈博副教授。 

　　研討會（北京站）采用線上和線下結合的方式進行。來自多所高校、研究機構和企業的50余位代表線下參會，線上參會人數高峰期有110余人。黃小煒教授、中國科學技術大學/蘇州高等研究院薛吟興研究員、中國科學院信息工程研究所陳愷研究員、首都師范大學邵振洲研究員、軟件所荊明軒博士后、紫金山實驗室黃煒博士及工業界合作伙伴等共帶來了11場報告，內容涵蓋安全可信的AI系統面臨的挑戰，自動駕駛系統深度學習模型的研究現狀與測試方法，自動駕駛驗證流程和工具鏈，Al安全：攻擊、防御和解釋，機器人控制，基于模型的可靠可信控制策略強化學習等熱門主題。會議期間，報告人與參會人員進行了充分的學術交流與討論，會議氣氛熱烈，取得了預期的效果。 

　　“可信人工智能”系列研討會分別在北京（2023年7月8-9日）、長沙（2023年7月15-16日）、上海（2023年7月22-23日）三地舉行。國內外人工智能、形式化方法、網絡安全、軟件工程等相關方向的專家學者將圍繞“可信人工智能”進行研討，以期凝練可信人工智能的重點研究方向、討論未來發展趨勢，促進可信人工智能研究在中國的進一步發展。

研討會（北京站）會議現場

張立軍致辭

黃小煒作報告

報告人作報告