方略学科导航

搜索结果: 1-1 共查到“CONFESTA”相关记录1条 . 查询时间(0.057 秒)

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

中国科学院软件研究所计算机科学国家重点实验室将于2018年9月3日至8日在中国科学院大学承办CONFESTA 2018大会。CONFESTA 2018是关于并发理论和形式化验证的联合大会，包括4个国际会议、4个研讨会、2个讲习班和1个暑期班。CONFESTA 2018将汇聚全球顶尖计算机及软件领域专家，特别邀请包括ACM会士、欧洲科学院院士Moshe Vardi等国际知名科学家作大会报告，交流并发...