Programme of GT-VMT at ETAPS 2010

(Graph Transformation and Visual Modeling Techniques)

Sunday, March 21

09:30 - 11:00 SESSION 5: Model Transformation

09.30: De-/Re-constructing Model Transformation Languages

Eugene Syriani and Hans Vangheluwe

10.00: Verification of Model Transformations

Bernhard Schaetz

10.30: Preserving constraints in horizontal model transformations

Paolo Bottoni, Andrew Fish, and Francesco Parisi-Presicce

11:00 - 11:30 Coffee

11:30 - 12:30 SESSION 6: Foundations

11.30: Stochastic Graph Transformation with Regions

Paolo Torrini, Reiko Heckel, Istvan Rath, and Gabor Bergmann

12.00: Squares in Collagories

Wolfram Kahl. Cotabulations, Bicolimits and Van-Kampen

12:30 - 14:00 Lunch