搜索结果: 1-1 共查到“计算机科学技术 大会通知”相关记录1条 . 查询时间(0.25 秒)
中国科学院软件研究所计算机科学国家重点实验室将于2018年9月3日至8日在中国科学院大学承办CONFESTA 2018大会。CONFESTA 2018是关于并发理论和形式化验证的联合大会，包括4个国际会议、4个研讨会、2个讲习班和1个暑期班。CONFESTA 2018将汇聚全球顶尖计算机及软件领域专家，特别邀请包括ACM会士、欧洲科学院院士Moshe Vardi等国际知名科学家作大会报告，交流并发...
