282理论计算机科学www.elsevier.com/locate/entcs前言容积42科林·菲奇摘要本卷包含了2001年1月29日至30日在澳大利亚邦德大学举行的计算：澳大利亚理论研讨会（CATS）的会议记录。CATS是澳大拉西亚地区首屈一指的计算机科学理论会议。它每年作为澳大利亚计算机科学周（ACSW）的一部分举行。CATS 2001是该系列的第七个以前的CATS研讨会集中在复杂性和可计算性，逻辑，自动机和数论等主题。今年，会议的范围扩大到包括正式的规范和开发方法以及验证工具。这一变化导致提交的论文数量增加：提交了21篇论文，其中14篇被接受。这一增加意味着国际方案委员会的负担更重。尽管如此，所有的论文都至少要经过两次，在许多情况下是三次正式的审查。感谢方案委员会的所有成员和他们的额外审查员。特别是，EmoWelzl、RobertStüark、MariangiolaDezani-Ciancaglin和RodDowney为审查进程作出了杰出贡献。CATS 2001年计划委员会如下。1. MariangiolaDezani-Ciancaglini（意大利，Universit`adiTorino2. Rod Downey（新西兰惠灵顿维多利亚大学）3. Colin Fidge（澳大利亚昆士兰大学）4. Lance Fortnow（NEC Research Institute，USA）5. Joseph Goguen（美国加州大学圣地亚哥分校）6. Andrew Martin（联合王国牛津大学）7. Ian Mason（澳大利亚新英格兰大学）8. J'anosPach（美国纽约大学）9. Igor Shparlinski（澳大利亚麦考瑞大学）10. Mark Utting（新西兰怀卡托大学）11. Emo Welzl（瑞士苏黎世联邦理工学院）此外，下列人员审查了2001年 CATS的论文1. 马尔科·贝尔纳多2. 马里奥·科波3. 罗比·盖茨4. 罗伯·戈德布拉特5. 卡尔·勒梅尔6. 凯瑟琳·麦卡廷7. 布莱恩·尼尔森8. 穆罕默德·奥尔贡9. 玛丽娜·里包多1 5 71-06610cElsevierB.V. 操作访问和C CB Y-NC-ND许可证。10.1016/S1571-0661（05）80891-6283数量10. 彼得·罗宾逊11. 西蒙娜·龙奇·德拉罗卡12. 伊万诺·萨尔沃13. R obertStüark14. 弗兰克·斯蒂芬15. 伊万·坦佩罗16. 多米尼克·维里蒂CATS 2001还荣幸地邀请了两位杰出的演讲者。Mathai Joseph教授拥有杰出的学术研究记录，其中包括对多任务调度理论和容错和实时系统的正式方法的重大贡献。最近，他成功地完成了从学术界到工业界的挑战性转变。Carroll Morgan教授在形式方法界广为人知，因为他对从规范中导出计算机程序的精化演算的基本贡献。他的许多出版物在该地区有助于普及微积分，特别是他的许多被引用的教科书，从规范。2000年CATS方案主席David Wolfram就组织会议提供了大量实用的建议。Mike Mislove，《理论计算机科学电子笔记》的总编辑，再次支持CATS系列论文集的出版，并帮助准备了这一卷。2001年妇女地位委员会的其他组织者，特别是Michael Oudshoorn、Gopal Gupta、Naomi Robinson、JeanetteNiehus和Marcus Randall协助解决实际问题。作为ACSW的一部分，CATS会议由计算机科学协会赞助，我们感谢他们的持续支持。Colin Fidge，客座编辑澳大利亚昆士兰大学软件验证研究中心
我的内容管理
展开
