51、图变换相关研究进展与成果

图变换相关研究进展与成果

1 ICGT 2012 博士研讨会概述

ICGT 此前在 2008 年莱斯特和 2010 年特温特举办的博士研讨会取得了成功，今年国际图变换会议也专门为博士生设置了活动。该博士研讨会在主会议期间安排了技术环节，供博士生展示研究项目，让他们有机会与图变换领域的资深研究人员及其他学生交流互动。

收到的投稿中，以下三篇摘要被选中在会议上展示：
- Yongzhi Ong：使用编程语言 XL 进行多尺度基于规则的图变换
- Christopher M. Poskitt：图程序的分析与验证研究
- Andrea Vandin：结构化系统模态属性的规范与验证

这些投稿是由以下程序委员会成员根据原创性、重要性和普遍关注度选出的：
- Paolo Baldan
- Luciano Baresi
- Andrea Corradini（联合主席）
- Juan De Lara
- Gregor Engels
- Claudia Ermel
- Holger Giese
- Annegret Habel
- Reiko Heckel
- Dirk Janssens
- Hans - Jörg Kreowski
- Barbara König
- Mark Minas
- Fernando Orejas
- Detlef Plump
- Andy Schürr
- Gabriele Taentzer（联合主席）
- Dániel Varró
- Bernhard