【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 

  2、特邀申报人 

  • 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会士 
  • Hong搜刮引擎优化k Yang:韩国迷信技巧院大年夜学计算机学院传授,曾任牛津大年夜学全职传授,2016CAV奖、2014PLDI的出色论文奖和2012CONCUR的最好论文奖取得者 
  • Joost-Pieter Katoen欧洲迷信院院士、ETAPS指导委员会主席,德国亚琛工业大年夜学出色传授,荷兰恩斯赫德的屯特大年夜学担负兼职传授,牛津大年夜学、奥天时迷信技巧研究所和悉尼麦考瑞大年夜学拜访传授 
  • Holger Hermanns欧洲迷信院院士,德国萨尔布吕肯萨尔大年夜学传授,靠得住体系和软件实验室主任,ETAPSTACAS指导委员会的成员 
  • Martin Franzle :德国奥尔登堡大年夜学计算机迷信系传授 
  • Stefan Mitsch卡内基梅隆大年夜学计算机迷信系逻辑体系实验室体系迷信家 
  •       3、大年夜会日程 

            

      四、接洽方法 

      邮箱confesta18@iscas.ac.cn 

      德律风:86-10-62661616 

      传真:86-10-62562533 

       地址:北京市海淀区中关村南四街4 中国迷信院软件研究所