【8-24】confesta 2018 并发理论和形式化方法领域联合大会通知
文章来源： | 发布时间：2018-07-26 | 【】 【】
2018年8月24日—9月8日
中国科学院大学雁栖湖校区国际会议中心
中科院软件所计算机科学国家重点实验室将于2018年9月3日至8日在中国科学院大学承办大会。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等。
大会议题包括并发系统的基本模型、形式化方法中的数理逻辑、验证和分析技术、分布式算法和数据结构、并发系统的编程、分析和验证工具、信息物融合系统等。
一、大会网址，
二、特邀报告人
- 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 anzle ：德国奥尔登堡大学计算机科学系教授
- stefan mitsch：卡内基梅隆大学计算机科学系逻辑系统实验室系统科学家
- 三、大会日程
四、亚博88体育的联系方式
邮箱
电话：86-10-62661616
传真：86-10-62562533
地址：北京市海淀区中关村南四街4号中国科学院软件研究所
