10月25日至28日，由中科院軟件所計算機科學國家重點實驗室承辦的第20屆自動驗證和分析技術國際會議（ATVA 2022）在線上成功舉辦。 

　　本次會議是中科院軟件所自2006年承辦第4屆ATVA之后再次承辦。本次會議的大會主席為中科院軟件所林惠民院士，程序委員會主席為法國巴黎第七大學Ahmed Bouajjani教授、捷克布爾諾理工大學Luká？ Holík教授和中科院軟件所吳志林研究員，本地組委會主席為中科院軟件所晏榮杰副研究員。 

　　會議期間，Constantin Enea教授（法國Ecole Polytechnique大學）、Mahesh Viswanathan教授（美國UIUC大學）分別進行了兩場授課（Tutorials）。Sanjit A. Seshia教授（美國加州伯克利大學）、馮新宇教授（中國南京大學）、Shaz Qadeer研究科學家（美國Meta公司）、Jean-Francois Raskin教授（比利時布魯塞爾自由大學）和Mohamed Faouzi Atig教授（瑞典烏普薩拉大學）作了五場特邀報告。會議另有八個環節（Sessions）共26場報告，內容涵蓋強化學習、神經網絡驗證、程序分析與驗證、可滿足性模理論求解、自動機理論、概率和隨機系統、程序合成和修復等熱門主題。經大會評選，以色列希伯來大學Bader Abu Radi和Orna Kupferman的論文“Minimization of Automata for Liveness Languages”獲得本屆會議“最佳論文獎”。 

　　ATVA 2022受到國內外學術界的廣泛關注與支持，有來自全球多個國家的高校、企業、研究機構等近130余位代表注冊參會，高峰期在線參會人數達到80余人。會議期間，參會人員與報告人進行了充分的學術交流與討論。 

　　ATVA開創于2003年，旨在提供一個跨區域國際交流平臺，以促進軟硬件自動分析、驗證和合成等相關技術的研究以及工業應用，是中國計算機學會（CCF）推薦的軟件工程和程序設計語言領域的高水平學術會議之一。 

　　更多會議信息及視頻回放請訪問： 

　　https://atva-conference.org/2022/program/