Workshop Preliminary Programme

Each speaker is kindly asked to use not more than

Presenters of long papers have and additional 10 minutes for their talk.

Thursday, September 21st

16:30 - 16:40 Welcome
Session 1: Tools for graph based models and visual languages (Chair: TBD)
16:40 - 17:20 Mark Minas:
Generating Meta-Model-Based Freehand Editors
17:20 - 18:00 Karsten Ehrig, Claudia Ermel, Gabriele Taentzer, Eduard Weiss:
Object Oriented and Rule-based Design of Visual Languages using Tiger
18:00 - 18:30 Carsten Amelunxen, Tobias Rötschke:
Creating Well-Structured Specifications in MOFLON
18:30 - 19:00 David Déharbe, Anamaria Martins Moreira, Demostenes Sena:
AGraphs: Definition, implementation and tools
20:00 GraBaTs dinner

Friday, September 22nd

Session 2: Analysis tools (Chair: TBD)
10:30 - 11:10 Arend Rensink:
Isomorphism checking in GROOVE
11:10 - 11:40 Leif Geiger, Albert Zündorf:
eDOBS: Graphical Debugging for Eclipse
11:40 - 12:10 Carsten Köllmann, Michael Goedicke:
Automation of Java Code Analysis for Programming Exercises
12:10 - 12:40 Karl Azab, Annegret Habel, Karl-Heinz Pennemann, Christian Zuckschwerdt:
ENFORCe: A System for Ensuring Formal Correctness of High-level Programs
12:40 - 14:00 Lunch
Session 3: Graph transformation (Chair: TBD)
14:00 - 14:30 Daniel Balasubramanian, Anantha Narayanan, Chris van Buskirk, Gabor Karsai:
The Graph Rewriting and Transformation Language: GReAT
14:30 - 15:00 Ulrike Ranger, Erhard Schultchen, Christof Mosler:
Specifying Distributed Graph Transformation Systems
15:00 - 15:30 Susanne Jucknath-John, Dennis Graf, Gabriele Taentzer:
Evolutionary Layout of Graph Transformation Sequences
15:30 - 16:00 Break
Session 4: Applications of graph based tools (Chair: TBD)
16:00 - 16:30 Thorsten Meinl, Marc Wörlein, Olga Urzova, Ingrid Fischer, Michael Philippsen:
The ParMol package for frequent subgraph mining
16:30 - 17:00 Christian Fuss, Christof Mosler, Marcel Pettau: RePLEX: A Model-Based Reengineering Tool for PLEX Telecommunication Systems
17:00 - 17:30 Final discussions and closing ceremony
17:30 - 18:00 Coffee Break

Please note that the exact schedule of this program is still subject to minor changes.

(last update on 07/09/06).