Programme of GT-VMT at ETAPS 2010
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
ETAPS 2010 |
Top |
Last Update: 2010-02-04