9月4日上午，并發理論與形式化驗證聯合大會（CONFESTA 2018）在中國科學院大學舉行。本次會議由中國科學院軟件研究所計算機科學國家重點實驗室承辦，邀請了來自中、德、法、美、英、意等25個國家和地區的260余名專家學者（包括30余名志愿者）參加此次會議。ACM 會士、歐洲科學院院士Moshe Vardi等計算機及軟件領域國內外知名科學家將作大會報告。 CONFESTA 2018中的第29屆并發理論國際會議（CONCUR 2018）、第16屆實時系統形式化建模和分析國際會議（FORMATS 2018）、第15屆系統量化評估國際會議（QEST 2018）三個會議是第一次在亞洲舉行。 

　　中國科學院院士、中國科學院軟件研究所研究員林惠民作為大會主席致會議開幕詞。林惠民院士介紹了中國科學院、中國科學院大學、計算機科學國家重點實驗室的概況，向與會學者表示熱烈歡迎并對CONFESTA 2018的開幕表示衷心祝賀。 

　　CONFESTA 2018是并發理論和形式化驗證為主題的聯合大會，包括4個國際會議、4個研討會、2個講習班和1個暑期班。具體包括第29屆并發理論國際會議（CONCUR 2018）、第16屆實時系統形式化建模和分析國際會議（FORMATS 2018）、第15屆系統量化評估國際會議（QEST 2018）和第4屆可靠軟件工程：理論、工具和應用國際會議（SETTA 2018）、研討會EXPRESS/SOS 2018、TIPS 2018、TRENDS 2018、YR-CONCUR 2018、暑期班SSFM等。 

　　此次會議將持續5天，與會學者們將重點圍繞并發系統的基本模型、形式化方法中的數理邏輯、驗證和分析技術、分布式算法和數據結構、并發系統的編程、分析和驗證工具、信息物融合系統等議題展開探討，共同交流，并分享最新研究成果及關鍵問題，為并發理論與形式化驗證領域的發展應用建言獻策。 

林惠民院士致開幕詞

Moshe Vardi院士作大會報告

CONFESTA 2018 大會現場