【8-24】CONFESTA 2018 并發理論和形式化方法領域聯合大會通知

文章來源:  |  發布時間:2018-07-26  |  【打印】 【關閉

  

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

  CONFESTA 2018 

 

  2018824—98 

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

  中科院軟件所計算機科學國家重點實驗室將于201893日至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 2018TIPS 2018TRENDS 2018YR-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:韓國科學技術院大學計算機學院教授,曾任牛津大學全職教授,2016CAV獎、2014PLDI的杰出論文獎和2012CONCUR的最佳論文獎獲得者 
  • Joost-Pieter Katoen歐洲科學院院士、ETAPS指導委員會主席,德國亞琛工業大學杰出教授,荷蘭恩斯赫德的屯特大學擔任兼職教授,牛津大學、奧地利科學技術研究所和悉尼麥考瑞大學訪問教授 
  • Holger Hermanns歐洲科學院院士,德國薩爾布呂肯薩爾大學教授,可靠系統和軟件實驗室主任,ETAPSTACAS指導委員會的成員 
  • Martin Franzle :德國奧爾登堡大學計算機科學系教授 
  • Stefan Mitsch卡內基梅隆大學計算機科學系邏輯系統實驗室系統科學家 
  •       三、大會日程 

            

      四、聯系方式 

      郵箱[email protected] 

      電話:86-10-62661616 

      傳真:86-10-62562533 

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

热门棋牌游戏代理加盟推荐 四肖期期准准i 615678大赢家24码中特 顶呱刮下载 b0b018台赛马直播 主两码防两码中特一 熊猫app官网下载购物 极速vnp安全下载下载 江西时时开奖结果 北京pk走势 台湾时时彩走势图网址 彩票盘制作教程 广东时时骗局 法甲新闻 黑龙江时时结果表 全天时时彩免费计划数据 云南时时开奖