并發理論和形式化方法領域聯合大會通知 

　　CONFESTA 2018 

　　2018年8月24日—9月8日 

中國科學院大學雁棲湖校區國際會議中心

　　中科院軟件所計算機科學國家重點實驗室將于2018年9月3日至8日在中國科學院大學承辦CONFESTA 2018大會。CONFESTA 2018是關于并發理論和形式化驗證的聯合大會，包括4個國際會議、4個研討會、2個講習班和1個暑期班。CONFESTA 2018將匯聚全球頂尖計算機及軟件領域專家，特別邀請包括ACM會士、歐洲科學院院士Moshe Vardi等國際知名科學家作大會報告，交流并發理論與形式化驗證領域的最新研究成果。大會主席由中國科學院院士、中國科學院軟件研究所研究員林惠民擔任。 

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

　　大會議題包括并發系統的基本模型、形式化方法中的數理邏輯、驗證和分析技術、分布式算法和數據結構、并發系統的編程、分析和驗證工具、信息物融合系統等。 

　　一、大會網址，http://confesta2018.csp.escience.cn/dct/page/1 

　　二、特邀報告人 

• Moshe Y. Vardi：萊斯大學Ken Kennedy信息技術研究所所長，ACM 和IEEE會士，美國國家工程院、美國國家科學院和歐洲科學院院士， 
• 鄧玉欣 ：華東師范大學教授，聯合國教科文組織法國總部的借調專家，著有專著《概率進程語義》 
• Rob van Glabbeek：澳大利亞新南威爾士大學計算機科學與工程學院教授，EPTCS主編，IANDC以及 TCS編輯委員會成員 
• 王柏堯：臺灣中央研究院資訊科學研究所研究員 
• Jyotirmoy V. Deshmukh：美國洛杉磯南加州大學維特比工程學院計算機科學系助理教授，曾任豐田汽車北美研發部門擔任首席研究工程師 
• Edward A. Lee：加州大學伯克利分校電子工程和計算機科學系教授，iCyPhy（伯克利工業信息物理融合系統研究中心）主任 
• Kostas Chatzikokolakis：法國CNRS（法國國家科學研究中心）副研究員，隱私增強技術研討會（PETS）的程序委員會主席 
• Mark Wallace：莫納什大學信息技術學院副院長，Opturion公司創始人 
• Tao Xie：美國伊利諾伊大學厄巴納-香檳分校計算機科學系的教授，ACM杰出科學家和IEEE會士 
• Hongseok Yang：韓國科學技術院大學計算機學院教授，曾任牛津大學全職教授，2016年CAV獎、2014年PLDI的杰出論文獎和2012年CONCUR的最佳論文獎獲得者 
• Joost-Pieter Katoen：歐洲科學院院士、ETAPS指導委員會主席，德國亞琛工業大學杰出教授，荷蘭恩斯赫德的屯特大學擔任兼職教授，牛津大學、奧地利科學技術研究所和悉尼麥考瑞大學訪問教授 
• Holger Hermanns：歐洲科學院院士，德國薩爾布呂肯薩爾大學教授，可靠系統和軟件實驗室主任，ETAPS和TACAS指導委員會的成員 
• Martin Franzle ：德國奧爾登堡大學計算機科學系教授 
• Stefan Mitsch：卡內基梅隆大學計算機科學系邏輯系統實驗室系統科學家 
•       三、大會日程 

　　    四、聯系方式 

　　    郵箱：confesta18@iscas.ac.cn 

　　    電話：86-10-62661616 

　　    傳真：86-10-62562533 

　      地址：北京市海淀區中關村南四街4號 中國科學院軟件研究所