5、会议组织与联合会议

会议组织与联合会议

1. 会议组织

计算机辅助验证国际会议（CAV）作为计算机科学领域的重要会议之一，旨在推动软件和硬件系统计算机辅助形式化分析方法的理论和实践。2006年的第18届会议（CAV 2006）于2006年7月16日至20日在西雅图召开。会议组织者们精心策划，确保会议顺利进行并取得预期效果。

1.1 程序主席

会议的程序主席由两位专家担任：
- Thomas Ball ：来自微软研究院，他负责协调会议的整体安排和评审过程。
- Robert B. Jones ：来自英特尔公司，他在会议的组织和执行过程中发挥了重要作用。

1.2 程序委员会

程序委员会由来自世界各地的顶尖学者和行业专家组成，确保了会议的高质量和权威性。以下是部分委员会成员名单：

成员姓名	机构名称
Clark Barrett	纽约大学
Karthik Bhargavan	微软研究院
Per Bjesse	新思科技
Ahmed Bouajjani	巴黎第七大学