1、11th国际验证、模型检查和抽象解释会议（VMCAI 2010）内容概览

11th国际验证、模型检查和抽象解释会议（VMCAI 2010）内容概览

VMCAI 2010于2010年1月17 - 19日在西班牙马德里举行，这是该系列会议的第11届。此前的会议分别在杰斐逊港（1997年）、比萨（1998年）、威尼斯（2002年、2004年）、纽约（2003年）、巴黎（2005年）、查尔斯顿（2006年）、尼斯（2007年）、旧金山（2008年）和萨凡纳（2009年）举办。

会议核心内容

VMCAI聚焦于程序和系统分析的前沿研究，融合了验证、模型检查和抽象解释三个研究领域。其目标是促进不同领域间的交流、融合，推动结合两个或三个领域的混合方法发展。涵盖的主题包括程序验证、程序认证、模型检查、调试技术、抽象解释、抽象域、静态分析、类型系统、演绎方法和优化等。

会议组织架构

• 程序主席 ：Gilles Barthe（西班牙IMDEA软件公司）和Manuel Hermenegildo（西班牙IMDEA软件公司和马德里工业大学）。
• 程序委员会 ：成员来自世界各地知名高校和研究机构，如德国德累斯顿工业大学的Christel Baier、法国巴黎高等师范学院的Patrick Cousot等。
• 指导委员会 ：包含Agostino Cortesi（意大利威尼斯大学）、Patrick Cousot（法国巴黎高等师范学院）等成员。
• 外部评审人员 ：众多专业人士参与了论文评审工作。

论文筛选