ICGT10 conference in Enschede, Holland

ICGT10 conference in Enschede, Holland

Dániel Varró, associate professor, and Ábel Hegedüs and Zoltán Ujhelyi PhD students attended at the 5th International Conference on Graph Transformations held on 2010. September 27th  and october 1st in Enschede, Holland.

Dániel Varró  co-organized the Graph Based Tools (GRABATS) 2010 workshop with Juan de Lara.

Ábel Hegedüs presented its results co-authored by Dániel Varró titled Guided State Space Exploration using Back-annotation of Occurence Vectors on the 4th International Workshop on Petri Nets and Graph Transformation.

Zoltán Ujhelyi introduced his work of Static Type Checking of Model Transformation Programs on the ICGT10 Doctoral Symposium, and during the  GRABATS presented Visualization of Traceability Models with Domain-specific Layouting co-authored by Ábel Hegedüs, Ákos Horváth and István Ráth.