Clicking on day shows daily programme, clicking on name shows the authors list, clicking on room number shows location plan.

Saturday, March 25
9:15Workshop Opening
Hartmut Ehrig (TU Berlin, Germany)
Session chair: Gabriele Taentzer (TU Berlin, Germany)
9:30Graph Changes are Everywhere
or
The Role of Graph Transformations in Software Engineering

Invited talk by Gregor Engels, University of Paderborn, Germany
10:30 Coffee
Session 1: Applications to Visual Languages
Session chair: Hans-Jörg Kreowski (University of Bremen, Germany)
11:00Designing the Automatic Transformation of Visual Languages
Dániel Varró, Gergely Varró, András Pataricza (TU Budapest, Hungary)
11:30Towards Visual Specification and Animation of Petri Net Based Models
Roswitha Bardohl, Claudia Ermel (TU Berlin, Germany), Leila Ribeiro (UFRGS, Brazil)
12:00Generating Diagram Editors Providing Free-Hand Editing as well as Syntax-Directed Editing
Oliver Köth, Mark Minas (University of Erlangen-Nürnberg, Germany)
12:30 Lunch
Session 2: Structuring and Typing Concepts
Session chair: Francesco Parisi-Presicce (University of Rome, Italy)
14:00Approach-independent Structuring Concepts for Rule-based Systems
Hans-Jörg Kreowski, Sabine Kuske (University of Bremen, Germany)
14:30Meta-Typing is compatible to the typed SPO Approach
Stefan Gruner (TU Berlin, Germany)
15:00Patterns on Graphs
Paolo Bottoni, Francesco Parisi-Presicce (University of Rome ``La Sapienza'', Italy)
15:30 Coffee
Session 3: Applications to Information Systems and Engineering
Session chair: Manfred Nagl (RWTH Aachen, Germany)
16:00Building Virtual Web Sites based on Graph Transformation
Lukas C. Faulstich (FU Berlin, Germany)
16:30Consistency Analysis of UML Class and Sequence Diagrams using Attributed Graph Grammars
Aliki Tsiolakis, Hartmut Ehrig (TU Berlin, Germany)
17:00Modeling Agent-Based Systems with Graph Transformation and UML: From Requirement Specification to Object-Oriented Design
Ralph Depke, Reiko Heckel, Jochen Malte Küster (University of Paderborn, Germany)
17:30Constructs for Programming with Graph Rewrites
Peter Rodgers (University of Kent, UK)
19:30 GRATRA 2000 Dinner Funkturm-Restaurant
Sunday, March 26
Session 4: Hyper Graph and Term Graph Rewriting
Session chair: Rinus Plasmeijer (Katholieke Universiteit Nijmegen, The Netherlands)
9:00Hypergraph Construction and its Application to the Compositional Modelling of Concurrency
Barbara König (TU München, Germany)
9:30Stratified Term Graphs
Wolfram Kahl (Univ. der Bundeswehr München, Germany)
10:00On Collapsing Narrowing
Rachid Echahed, Jean-Christophe Janodet (IMAG, CNRS, Grenoble, France)
10:30 Coffee
Session 5: Theory and Practice of Software
Session chair: Ugo Montanari (Univerity of Pisa, Italy)
11:00A Graph Transformation Approach to Software Architecture Reconfiguration
Michael Wermelinger (Univ. Nova de Lisboa, Portugal), José Luiz Fiadeiro (University of Lisbon, Portugal)
11:30ETAPS Paper Announcements:
12:30 Lunch
 
14:00Panel Discussion:
Theory and Practice of Graph Transformation: From Historical Roots to Visions in the new Millennium

Chair: Hartmut Ehrig (TU Berlin, Germany)
Participants: H.-J. Schneider (Univ. Erlangen), G. Rozenberg (Rijksuniv. Leiden), H.-J. Kreowski (Univ. Bremen), A. Schürr (Univ. der Bundeswehr München), A. Corradini (Univ. Pisa), G. Taentzer (TU Berlin)
15:30 Coffee
Session 6: Double Pullback and Pushout Approaches
Session chair: Detlef Plump (University of Bremen, Germany)
16:00Concurrency of Double-Pullback Transitions
Reiko Heckel (University of Paderborn, Germany), Mercè Llabrés (University of Pisa, Italy), Hartmut Ehrig (TU Berlin, Germany), Fernando Orejas (TU Catalonia, Spain)
16:30Graph Transformation via Abstract Diagrams
Richard Banach (Manchester Univ., U.K.), Andrea Corradini (Univ. Pisa, Italy)
17:00Pushout Complements for Arbitrary Total Algebras
Peter Burmeister (TU Darmstadt, Germany), Mercè Llabrés (University of Pisa, Italy), Francesc Rosselló (Univ. de les Illes Balears, Spain)
17:30Attributed Graph Transformation with Partial Attribution and its Application to Neural Networks
Michael R. Berthold (UC Berkeley, USA), Ingrid Fischer (University of Erlangen-Nürnberg, Germany), Manuel Koch (University of Rome "La Sapienza", Italy)
20:00GETGRATS/APPLIGRAPH Teamleader Meeting
20:00

GRATRA Tool Demonstrations
Open for all ETAPS Participants
Series A (Applications)
1. HOPS 2. FSE 3. HyperView 4. ViewPoints 5. SLIM
Series B (Basics)
1. AGG 2. GenGEd 3. DiaGen 4. TreeBag 5. PROGRES
Monday, March 27
Session 7: Graph Patterns and Graph Decomposition
Session chair: Dirk Janssens (University of Antwerp, Belgium)
11:00Database Integration Using Graph Transformation
Curtis Gittens, Sylvia Osborn, (University of Western Ontario, USA)
11:30Graph Pattern Matching using Constraint Satisfaction
Javier Larrosa, Gabriel Valiente (TU Catalonia, Barcelona, Spain)
12:00Orthogonal Decomposition of Graphs
Michel Bauderon, Frédérique Carrère (University of Bordeaux 1, France)
12:30 Lunch
Session 8: Hyper Graph Rewriting
Session chair: Michel Bauderon (University of Bordeaux 1, France)
14:00VR and HR Graph Grammars: A Common Algebraic Framework Compatible with Monadic Second Order Logic
Bruno Courcelle (University of Bordeaux 1, France), Johann .A. Makowsky (Technion Haifa, Israel)
14:30Higher-Order Hyperedge Replacement Systems and their Transformations
Dan Hirsch (University of Buenos Aires, Argentina), Ugo Montanari (University of Pisa, Italy)
15:00Normal Forms for Context-free Node-rewriting Hypergraph Grammars
Renate Klempien-Hinrichs (University of Bremen, Germany)
15:30 Coffee
Session 9: Concurrency and Distribution
Session chair: Andrea Corradini (University of Pisa, Italy)
16:00Algebraic Properties of LAS Processes
Nico Verlinden, Dirk Janssens (U.I.A., Antwerp, Belgium)
16:30An effective Equivalence for Sets of Scenarios represented by HMSCs
Loïc Hélouët, Claude Jard, Benoît Caillaud (CNRS/INRIA, IRISA, France)
17:00Single Pushout Approach to Distributed Graph Transformation
Manuel Koch (University of Rome ``La Sapienza'', Italy)
17:30Polymorphic Types for Interaction Nets
Lionel Khalil (L.I.E.N.S., Paris, France)
18:00 Coffee
18:30

GRATRA
invited

Session chair: Hartmut Ehrig (TU Berlin, Germany)

Grzegorz Rozenberg (Universiteit Leiden, Netherlands)
DNA Computing in Vivo and Graph Transformation

19:30Workshop Closing

Information maintained by Doris Fähndrich