尽管近年来取得了重大进展，但验证对硬件和软件系统来说仍然是一项具有挑战性的任务。一个特别复杂的验证问题是分析可能在运行时修改其拓扑结构的图形结构。困难的主要原因是一些特征导致了无限状态空间。示例包括无界域上的变量、时间约束、动态进程创建、堆操作、多线程和动态分配的数据结构。另一个复杂的原因是底层图形可能会不断演变。对程序运行建模时可能出现的图的大小没有先验限制，在给定的执行过程中，图的形状可能会发生变化。

这一挑战促使了几项成功的研究，开发了一些新技术，如形状分析、分离逻辑、森林自动机和几种基于图形转换的方法等。尽管在每个应用领域都开发了专门的工具，但仍需要付出大量努力来开发统一的框架，以产生高效而通用的解决方案。

本研讨会汇集了对开发用于分析图形操作的精确和可扩展技术感兴趣的研究人员，即能够处理当前验证问题中出现的挑战的技术。这些挑战需要对来自不同领域的技术进行新的开发和组合，包括模型检查以及动态和静态程序分析。通过创造合作机会，我们希望大幅增加可处理系统的规模，并提高可实现的分析精度。

因此，本次研讨会的主要目标是加强共识和相互促进，通过调查会谈和工作组强调各种方法之间的联系，明确目的是加强互动。讨论主题包括

• 统一框架的定义，用于集成不同研究团体提出的图分析方法；
• 开发新的抽象技术，在程序验证和模型检查应用中推动最先进的图形算法；和
• 识别图操作分析可能发挥重要作用的研究领域，如安全协议、社交网络、自适应网络和生物系统的分析。

• 穆罕默德·法乌齐（Mohamed-Faouzi Atig） （东南乌普萨拉大学） [dblp]
• 帕罗什·阿齐兹·阿卜杜拉 （东南乌普萨拉大学） [dblp]
• 彼得·巴克斯 （德国萨尔州大学） [dblp]
• 保罗·巴尔丹 （帕多瓦大学，IT） [dblp]
• 艾哈迈德·布阿贾尼 （巴黎第七大学，法国） [dblp]
• 安德烈亚·科拉迪尼 （比萨大学信息技术学院） [dblp]
• 爱斯瓦里亚·西里亚克 （东南乌普萨拉大学） [dblp]
• 乔治·德尔扎诺 （热那亚大学，IT） [dblp]
• 塞扎拉·德拉戈伊 （IST奥地利-科罗斯特内堡，AT） [dblp]
• 康斯坦丁·埃纳 （巴黎第七大学，法国） [dblp]
• 哈维尔·埃斯帕尔扎 （德国慕尼黑TU München） [dblp]
• 法比奥·加杜奇 （比萨大学，信息技术） [数据库管理程序]
• 西尔维奥·吉拉尔迪 （意大利米兰大学） [dblp]
• 霍尔格·吉斯 （德国波茨坦哈索-普拉特纳研究所） [dblp]
• 克里斯托夫·哈斯 （ENS-卡尚，法国） [dblp]
• 安内格丽特·哈贝尔 （德国奥尔登堡大学） [数据库管理程序]
• 瑞科·赫克尔 （英国莱斯特大学） [dblp]
• 亚历山大·休纳 （德国班贝格大学） [dblp]
• 卢卡斯·霍利克 （捷克布尔诺科技大学） [dblp]
• 大卫·贾宁 （法国波尔多大学） [dblp]
• 克里斯蒂娜·詹森 （德国亚琛RWTH） [dblp]
• 本特·琼森 （东南乌普萨拉大学） [dblp]
• Joost-Pieter Katoen公司 （德国亚琛RWTH） [dblp]
• 芭芭拉·科尼格 （德国杜伊斯堡大学） [dblp]
• 托默·科特克 （TU Wien，AT） [数据库管理程序]
• 纳拉扬·库马尔·克里希南 （印度钦奈数学研究所） [dblp]
• 利恩·兰伯斯 （德国波茨坦哈索-普拉特纳研究所） [dblp]
• 米歇尔·洛雷蒂 （费伦泽大学，IT） [dblp]
• 罗兰·梅耶 （德国杜凯泽斯劳滕） [数据库管理程序]
• 托马斯·诺尔 （德国亚琛RWTH） [dblp]
• 费尔南多·奥雷贾斯 （UPC-西班牙巴塞罗那） [dblp]
• 尤金尼奥·奥兰德利 （CIS、IT） [dblp]
• 奇怪的帕顿 （伊利诺伊州特拉维夫大学） [dblp]
• Detlef丰满 （英国约克大学） [dblp]
• 克里斯·波斯基特 （瑞士苏黎世联邦理工学院） [dblp]
• 阿伦德·伦辛克 （荷兰特温特大学） [dblp]
• 艾哈迈德·雷兹 （东南林雪平大学） [dblp]
• 莱拉·里贝罗 （南里奥格兰德联邦大学，BR） [数据库管理程序]
• 泽维尔·里瓦尔 （ENS-巴黎，法国） [dblp]
• 阿诺德·桑尼尔 （巴黎第七大学，法国） [dblp]
• 理查德·特雷弗 （加利福尼亚滑铁卢大学） [dblp]
• 维克托·瓦菲亚迪斯 （MPI-SWS-Kaiserslautern，德国） [dblp]
• 托马斯·沃纳尔 （捷克布尔诺科技大学） [dblp]
• 托马斯·维斯 （美国纽约大学） [dblp]
• 弗洛里安·祖勒格 （TU Wien，AT） [dblp]