1、2010年程序验证、模型检查与抽象解释国际会议相关研究概述

2010年程序验证、模型检查与抽象解释国际会议相关研究概述

1. 会议简介

2010年1月17 - 19日，第11届程序验证、模型检查与抽象解释国际会议（VMCAI 2010）在西班牙马德里举行。该会议此前已在多个不同地点举办过，如1997年在杰斐逊港、1998年在比萨等。VMCAI聚焦于程序和系统分析的前沿研究，融合了验证、模型检查和抽象解释三个研究领域，旨在促进各领域间的交流、交叉融合以及混合方法的发展。会议涵盖的主题广泛，包括程序验证、程序认证、模型检查、调试技术、抽象解释、抽象域、静态分析、类型系统、演绎方法和优化等。

本次会议的程序委员会从57篇投稿中选出了21篇论文，主要依据相关性和质量进行筛选。此外，会议还邀请了多位杰出的演讲者和教程讲师，其中邀请演讲嘉宾有来自慕尼黑工业大学的Javier Esparza、微软研究院的Rustan Leino和萨尔兰大学的Reinhard Wilhelm；邀请教程讲师有来自维罗纳大学的Roberto Giacobazzi、亚琛工业大学的Joost Pieter Katoen和洛桑联邦理工学院的Viktor Kuncak。

2. 会议组织情况

2.1 组织架构

• 程序主席 ：Gilles Barthe（西班牙IMDEA软件公司）和Manuel Hermenegildo（西班牙IMDEA软件公司和马德里工业大学）。
• 程序委员会成员 ：包括来自德国德累斯顿工业大学的Christel Baier、法国巴黎高等师范学院的Patrick Cousot等多位知名学者。