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