• 【学习时刻】北大经济研究所常务副所长苏剑:“稳”字当头,用改革稳定企业家和百姓信心 2019-06-23
  • 平顺交警夜查酒驾、毒驾、醉驾专项行动每周都在进行 2019-06-02
  • 浙江宣讲十九大:之江大地“好声音”“红船”精神入人心 2019-06-02
  • 美国的本质和终极目的决定,和中国必定是始终不断战事硝烟。 2019-05-27
  • 昌吉市启动百日文化旅游活动 2019-05-27
  • 酒类连锁品牌如何实现可持续性发展?产品本身的吸引力至关重要中国 名酒 2019-05-26
  • 学习新思想,千万师生同上一堂课 2019-05-14
  • 唐山一男子酒驾撞人逃逸中再撞人致4死11伤 已被刑拘 2019-05-14
  • 周边景区邀你开心过节 2019-05-13
  • 西安幼升小反映问题是去年近3倍 花式上学难案例层出不穷学位学区-西安新闻 2019-05-13
  • 习近平要求把这项工作作为重大政治任务 2019-05-12
  • 吕梁:交口公安侦破“5.24”疯狂砸车玻璃盗窃案 2019-05-12
  • 毛丹青:故乡是文学的起跑线 2019-05-11
  • 河北省交通运输厅:平安交通一路同行 2019-05-10
  • 中国健康促进基金会心脑血管疾病防治专家委员会成立 2019-05-09
  • 【8-24】CONFESTA 2018 并发理论和形式化方法领域联合大会通知

    文章来源:  |  发布时间:2018-07-26  |  【打印】 【关闭

      

    老时时彩20110601001 www.egmp.com.cn   并发理论和形式化方法领域联合大会通知 

      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 2018、TIPS 2018、TRENDS 2018、YR-CONCUR 2018、暑期班SSFM等。 

      大会议题包括并发系统的基本模型、形式化方法中的数理逻辑、验证和分析技术、分布式算法和数据结构、并发系统的编程、分析和验证工具、信息物融合系统等。 

      一、大会网址,//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 中国科学院软件研究所 

  • 【学习时刻】北大经济研究所常务副所长苏剑:“稳”字当头,用改革稳定企业家和百姓信心 2019-06-23
  • 平顺交警夜查酒驾、毒驾、醉驾专项行动每周都在进行 2019-06-02
  • 浙江宣讲十九大:之江大地“好声音”“红船”精神入人心 2019-06-02
  • 美国的本质和终极目的决定,和中国必定是始终不断战事硝烟。 2019-05-27
  • 昌吉市启动百日文化旅游活动 2019-05-27
  • 酒类连锁品牌如何实现可持续性发展?产品本身的吸引力至关重要中国 名酒 2019-05-26
  • 学习新思想,千万师生同上一堂课 2019-05-14
  • 唐山一男子酒驾撞人逃逸中再撞人致4死11伤 已被刑拘 2019-05-14
  • 周边景区邀你开心过节 2019-05-13
  • 西安幼升小反映问题是去年近3倍 花式上学难案例层出不穷学位学区-西安新闻 2019-05-13
  • 习近平要求把这项工作作为重大政治任务 2019-05-12
  • 吕梁:交口公安侦破“5.24”疯狂砸车玻璃盗窃案 2019-05-12
  • 毛丹青:故乡是文学的起跑线 2019-05-11
  • 河北省交通运输厅:平安交通一路同行 2019-05-10
  • 中国健康促进基金会心脑血管疾病防治专家委员会成立 2019-05-09
  • 新疆11选5在哪里 体彩天津11选5第8月15日 黑龙江十一选五近期走势图 排列三走势图带连线图 河南十一选五遗漏数据 河南11选5大小走势图 貔喜脉动棋牌官方下载 哪种时时彩容易赚钱 澳洲幸运10开奖记录 炒股融资风险 极速快3官网下载地址 宁夏十一选五基本走势 浙江11选5怎么破解? 大连娱网棋牌棋手机版 澳洲幸运10有开奖记录 重庆百变王牌官方网站