軟件所成功舉辦并發理論與形式化驗證聯合大會（CONFESTA 2018）
文章來源：計算機科學國家重點實驗室 | 發布時間：2018-09-12 | 【打印】 【關閉】
8月24日至9月8日，由中國科學院軟件研究所計算機科學國家重點實驗室承辦的并發理論與形式化驗證聯合大會（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等。其中， CONCUR 2018、FORMATS 2018、QEST 2018三個大會是第一次在亞洲舉行。該聯合會議在中國舉辦，加強了中國與國際一流學者之間的交流與學習，凸顯了我國在并發理論和形式化驗證領域日益崛起的學術地位和國際影響力。
此次，CONFESTA 2018共有來自中、德、法、美、英、意等25個國家和地區的260余名專家學者（包括30余名志愿者）參加，邀請了ACM會士、歐洲科學院院士Moshe Vardi等計算機及軟件領域國內外知名科學家作大會報告。在為期16天的會議中，與會學者們重點圍繞并發系統的基本模型、形式化方法中的數理邏輯、驗證和分析技術、分布式算法和數據結構、并發系統的編程、分析和驗證工具、信息物融合系統等議題展開探討，交流分享了最新研究成果及關鍵問題，深入探討了并發理論與形式化驗證領域的發展應用。
ACM和IEEE會士、歐洲科學院院士Moshe Vardi以“The Siren Song of Temporal Synthesis”為題為大會作聯合報告。
CONCUR旨在研究并發系統、實時系統和信息物理系統的理論、形式化建模、驗證性能評估和工程實現等主題，進一步推動并發理論的發展和應用。CONCUR 2018邀請華東師范大學鄧玉欣教授、澳大利亞新南威爾士大學計算機科學與工程學院Rob van Glabbeek教授、臺灣中央研究院資訊科學研究所王柏堯研究員作大會報告。論文“It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with ‘Happened Before’ ”獲得CONCUR 2018最佳論文獎。
FORMATS旨在聚集各學科中實時系統和混成系統領域的專家學者，推動實時系統從理論基礎到實踐應用的研究，促進混成離散連續系統研究成果的提交與運用。FORMATS 2018邀請美國洛杉磯南加州大學維特比工程學院計算機科學系JyotirmoyV. Deshmukh助理教授、加州大學伯克利分校電子工程和計算機科學系Edward A. Lee教授作大會報告。論文“Distance on Timed Words and Applications”獲得FORMATS 2018最佳論文獎。
QEST是基于概率、時序和其他不確定性的系統和網絡量化評估和驗證的主要論壇，能夠為評估及設計可信系統與網絡創建良好的方法論基礎。QEST 2018邀請法國國家科學研究中心Kostas Chatzikokolakis副研究員、莫納什大學信息技術學院Mark Wallace副院長作大會報告。論文“Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach”獲得QEST 2018最佳論文獎。
SETTA旨在成為中國形式化軟件工程的旗艦會議，為全球軟件技術領域專家和實踐者提供交流與合作的平臺，促進中國計算機科學與軟件工程領域進一步發展，為形式化方法可持續發展作出貢獻。SETTA 2018邀請美國伊利諾伊大學厄巴納-香檳分校計算機科學系Tao Xie教授、韓國科學技術院大學計算機學院Hongseok Yang教授作大會報告。論文“Robust Non-termination Analysis of Numerical Software”獲得SETTA 2018最佳論文獎。
SSFM暑期班由中國科學院軟件研究所、北京大學和中國科學院大學聯合舉辦，活動邀請歐洲科學院院士、ETAPS指導委員會Joost-Pieter Katoen主席、歐洲科學院院士、德國薩爾布呂肯薩爾大學Holger Hermanns教授、臺灣中央研究院資訊科學研究所王柏堯研究員、德國奧爾登堡大學計算機科學系Martin Franzle教授、卡內基梅隆大學計算機科學系邏輯系統實驗室系統科學家Stefan Mitsch作報告。
大會現場
大會信息詳見網站：
