1、并发理论与事务内存研究探讨

并发理论与事务内存研究探讨

一、并发理论会议概述

在 2009 年 9 月 1 日至 4 日于意大利博洛尼亚举办的第 20 届并发理论会议（CONCUR 2009）意义非凡。该会议旨在汇聚研究人员、开发者和学生，共同推动并发理论的发展并促进其应用。为庆祝 CONCUR 会议举办 20 周年，会议安排了特别环节，由 IFIP 工作组 1.8“并发理论”和 2.2“编程概念的形式化描述”组织，同时还邀请了并发理论研究领域的先驱罗宾·米尔纳（Robin Milner）进行演讲。

此次会议共收到 129 篇投稿，经过程序委员会的精心讨论，挑选出 37 篇论文进行展示。每篇论文至少由三位评审专家（若论文作者中有程序委员会成员，则由四位评审专家）进行严格评审，他们提供了详细且有见地的意见和建议。会议主席对程序委员会成员和所有副评审专家的出色支持以及友好且富有建设性的讨论表示衷心感谢，也感谢作者们根据评审意见对论文进行修改。

会议还邀请了马丁·阿巴迪（Martin Abadi）、克里斯蒂尔·拜尔（Christel Baier）、科拉多·普里亚米（Corrado Priami）和罗宾·米尔纳等进行精彩演讲。此外，本次会议与第 7 届系统生物学计算方法国际会议（CMSB 2009）和第 6 届 Web 服务与形式化方法国际研讨会（WS - FM 2009）联合举办，这凸显了并发人工系统与生物自然系统之间的紧密联系，以及并发、分布式和移动计算技术的广泛应用。同时，CONCUR 2009 还举办了一系列卫星研讨会，如第 16 届并发表达能力国际研讨会（EXPRESS）、第二届交互与并发体验研讨会（ICE）等。

会议相关组织人员