Programme of GT-VMT at ETAPS 2010

(Graph Transformation and Visual Modeling Techniques)

Saturday, March 20

09:00 - 10:30 SESSION 1

09.00: Openning

09.15: Invited talk: Fernando Orejas

Symbolic Attributed Graphs and Attributed Graph Transformation

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2: Foundations

11.00: A Graph Representation for Ordered Edges

Maarten de Mol and Arend Rensink

11.30: Graph Algebras for Bigraphs

Davide Grohmann and Marino Miculan

12.00: Recognizable Graph Languages for Checking Invariants

Christoph Blume, Sander Bruggink, and Barbara König

12:30 - 14:00 Lunch

14:00 - 15:30 SESSION 3: Modeling and Modeling Environments

14.00: Efficient Process Analysis of Transformation Systems Based on Petri nets

Frank Hermann, Andrea Corradini, Hartmut Ehrig, and Barbara König

14.30: Defining Models - Meta Models versus Graph Gammars

Berthold Hoffmann and Mark Minas

15.00: Specifying and generating editing environments for interactive animated visual models

Torsten Strobl and Mark Minas

15:30 - 16:00 Coffee

16:00 - 17:30 SESSION 4: Interactions

16.00: Decidable Race Condition and Open Coregions in HMSC

Vojtech Rehak, Petr Slovak, Jan Strejcek, and Loic Helouet

16.30: A light-weight abstract machine for interaction nets

Abubakar Hassan, Ian Mackie, and Shinya Sato

17.00: Discussion