1、自动化验证与分析技术的前沿探索

自动化验证与分析技术的前沿探索

会议概述

第 7 届自动化验证与分析技术国际研讨会（ATVA 2009）于 10 月 13 - 16 日在中国澳门特别行政区举行。此次会议的主要目标是交流和推广自动化分析、验证与综合领域的最新研究进展。

在提交的 74 篇研究论文和 10 篇工具论文中，程序委员会接受了 23 篇作为常规论文，3 篇作为工具论文。来自 17 个国家的 33 位专家对每篇投稿进行了严格公正的评审。会议还安排了三场精彩的教程和主题演讲，演讲嘉宾包括 Mark Greenstreet（英属哥伦比亚大学）、Orna Grumberg（Technion）和 Bill Roscoe（牛津大学）。

许多组织为此次研讨会提供了赞助，包括联合国大学国际软件技术研究所（UNU - IIST）、澳门理工学院（MPI）、澳门邮政和欧洲形式化方法组织（FME）。同时，众多个人也为会议的成功举办提供了热情的帮助。

会议组织架构

• 会议主席 ：
  • 大会主席 ：Chris George（UNU - IIST，澳门）
  • 程序主席 ：Zhiming Liu（UNU - IIST，澳门）、Anders P. Ravn（丹麦奥尔堡大学）
  • 组织主席 ：Antonio Cerone（UNU - IIST，澳门）
  • 宣传主席 ：Jun Pang（卢森堡大学） <