Friday July 14th (afternoon)

14:00  - 14:10   OPENING

14:10  - 15:00   INVITED TALK

From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation
G. Engels and R. Heckel (University of Paderborn, Germany)

15:00  - 16:00   SESSION 1: System Specification and Development

A Proposal for Consistent Integration of Visual Computing with Visual Development of Software Components
H. Ehrig and G. Taentzer (Technical University Berlin, Germany)

Formalising the Development of Agent-Based Systems using Graph Processes
R. Depke and R. Heckel (University of Paderborn, Germany)

16:00  - 16:30   COFFEE BREAK

16:30  - 17:30   SESSION 2: Visual Language Definition

Parsing Context-Sensitive NCE Graph Grammars
Y. Adachi (Toyo University, Japan)  and S. Kobayashi (NEC Soft Ltd., Japan)

Generic and Polymorphic Graph Transformations: Supporting the Definition of Visual Languages
M. Münch (University of Aachen, Germany) and A. Schürr (University BW München, Germany)

17:40  - 18:30   General Discussion

Saturday July 15th

9:00  - 10:00   INVITED TALK

Graph Transformations on the UML Metamodel
M. Gogolla (University of Bremen, Germany)

10:00  - 10:30   COFFEE BREAK

10:30  - 11:30   SESSION: Tools

OpenSESAME: A Tool's Concept
M. Walter (Technical University München, Germany)

Rule-Based and Visual Model Evolution using GenGEd
J. Padberg, C. Ermel and R. Bardohl (Technical University Berlin, Germany)

11:30  - 12:30   INVITED TALK

Which Graphs for Visual Modeling ?
F. Parisi-Presicce (Università di Roma La Sapienza, Italy)

12:30  - 14:00   LUNCH

14:00  - 15:00   SESSION: Visual Specification and Modelling

A Graph-Grammar Based Approach to the Specification of Hypermedia Dynamics
G. Busatto and P. J.'t Hoen (LIACS, The Netherlands)

A Visual Modeling Technique for Controlling Graph Transformation
S. Gruner (Technical University Berlin, Germany), M. Kurt (Infonie GmbH Berlin, Germany) and G. Taentzer (Technical University Berlin, Germany)

15:00  - 15:30   COFFEE BREAK

15:30  - 16:30   INVITED TALK

Can Graph Grammars Make Formal Methods More Human?
M. Pezzé and L. Baresi (Politecnico di Milano, Italy)

16:30  - 17:30   SESSION: Semantics

A Generic Model for Diagram Syntax and Semantics
B. Hoffmann (University of Bremen, Germany) and M. Minas (University of Erlangen, Germany)

A Graph Rewriting Semantics for the Polyadic \pi-Calculus
B. Koenig (Technical University München, Germany)

Graphical Operational Semantics
A. Corradini (Università di Pisa, Italy), R. Heckel (University of Paderborn, Germany) and U. Montanari (Università di Pisa, Italy)

17:30  CLOSING