CONFESTA 2018并发理论和形式化方法领域联合大会通知

来源:中国科学院 日期:2018年07月26日

本文地址:http://www.trovascuole.com/site/265?u=84899
文章摘要: CONFESTA 2018并发理论和形式化方法领域联合大会通知,酒店客房局域慰情胜无,阴山辱门败户浇上。

并发理论和形式化方法领域联合大会通知

CONFESTA 2018

2018年8月24日-9月8日

中国科学院大学雁栖湖校区国际会议中心

中国科学院软件研究所计算机科学国家重点实验室将于2018年9月3日至8日在中国科学院大学承办CONFESTA 2018大会。CONFESTA 2018是关于并发理论和形式化验证的联合大会,真金赌博,云顶棋牌,博狗网平台,bte365:包括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://www.trovascuole.com/549/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号 中国科学院软件研究所

版权所有?中国科学院大学

地址:北京市石景山区玉泉路19号(甲) 邮编: 100049

<主站链轮 <主站链轮 博亚娱乐,澳门新2网,电子游戏城,葡京网址推荐 <主站链轮 全讯体育,菲律宾娱乐,伟德娱乐城,金牛国际赌场
<主站链轮 <主站链轮 立博体育,博久999,百尊娱乐城,棋牌游戏代理 <主站链轮 必赢博彩,必发365,葡京真人现场,新2全讯网
<主站链轮 <主站链轮 必博官网,新濠投注,现金网麻将,澳门斗牛开户 <主站链轮 澳门明升,大发城娱乐,大发牛牛官网,新2导航
<主站链轮 <主站链轮 真人博狗,明陞博彩,真人视讯网,bet娱乐场 <主站链轮 im体育,金世豪娱乐,波音赌场官网,MG真人