2008年注册会计师

2008年9月7日至10日，通信过程体系结构（CPA）2008年会议将由托管计算机科学系在这个约克大学，英国会议将举行在约克万豪酒店.

2008年9月11日，将举办相关研讨会CoSMoS，复杂系统建模与仿真。

重要日期

	2008年注册会计师	CoSMoS研讨会2008
提交	2008年4月25日星期五	CoSMoS研讨会：**18**2008年6月
中标通知书	2008年6月6日星期五	CoSMoS研讨会：2008年7月16日
**应付CPA附加缴款**	**2008年7月14日星期一**
提前注册结束	2008年7月18日**星期五	2008年7月18日星期五
CRC到期	2008年7月7日星期一	CoSMoS研讨会：2008年8月1日
会议	2008年9月7日至10日	2008年9月11日

2008年注册会计师大会特邀演讲人

教授萨姆森·阿布拉姆斯基FRS是Christopher Strachey的教授牛津大学计算机系。他领导理论和自动验证组。他在语义学领域工作过计算逻辑和并发性。他在游戏语义方面的工作考虑多个代理和他们的环境。这就产生了新的作曲方法对具有状态、并发、，概率和其他特征。

科林·奥哈洛兰教授是系统保证小组的负责人在QinetiQ。他对形式方法的理解起到了重要作用在高保证系统的开发和验证中工业规模。他的研究兴趣是自动化使用形式化方法，并以合理的成本使用这些技术工业规模。

登记处现已关闭

会议方案

提供完整的会议计划，包括摘要在这里.

CoSMoS研讨会的计划可用在这里.

2008年注册会计师

2008年CPA是CPA名下的第九位，也是WoTUG系列会议。灵感的来源CPA系列会议，最初是OUG-x，后来是WoTUG-x级数，是通信顺序过程C.A.R.Hoare（CSP）。这就产生了occam的设计编程语言和Transputer-一台完整的计算机可以与其他芯片组合以构建可扩展的单个芯片系统。新理论、编程语言和系统架构代表了前所未有的机遇对系统工程方法的挑战。OUG出发前往回答这个挑战。过去17年的诉讼程序由IOS出版社出版，作为其并发系统的一部分工程系列。

CPA会议是一次紧张的经历-我们的目标是举办一次研讨会风格，高度互动的氛围-这包括周日上午举行非正式边缘会议进行公开讨论，工作成果和其他未发布的项目。会议可以提供完整的论文演示、简短的演示、教程和具有开创性风格的论文。

会议由沃图（WoTUG）和AWE。

提交的论文将被评审，被接受的论文将在会议记录。这些论文的版权归作者们使CPA成为展示早期研究的理想场所这可能适合于未来的期刊出版。

AWE赞助的奖项将授予最佳论文和最佳论文共同设计论文。

住宿

会议将在约克万豪酒店.

全部注册费包括所有CPA08和附加课程，外加：

• 住宿三晚（星期日、星期一、星期二）；
• 所有膳食，包括会议晚餐；
• 诉讼程序副本一份。

可以注册周三晚上和CoSMoS研讨会，单独使用或与CPA2008一起使用。学生可享受部分费用和折扣。

2007年注册会计师

2007年注册会计师在萨里大学举行。