International Colloquium on Graph Transformation and DNA-Computing

organized by ESPRIT WG APPLIGRAPH and TU Berlin
(Local Organizers: Prof. Dr. H. Ehrig, Dr. R. Bardohl)

February 14, 2002, 9:00 - 13:00 h


8:45  Registration
9:00  Opening
Hartmut Ehrig (Local Organizer), Berlin, Germany
Hans-Jörg Kreowski (APPLIGRAPH Coordinator), Bremen, Germany
9:15 Language Theory in DNA Self-Assembly
Erik Winfree, Pasadena, USA
9:45 Impact of Biology on Language Theory: Watson-Crick DOL Systems
Arto Salomaa, Turku, Finland
10:15 Solving Graph Problems in a Rule-Based Framework
Hans-Jörg Kreowski, Bremen, Germany
Coffee Break
11:15 Finite State Verification of Causal Properties and Graph Transformation Systems
Ugo Montanari, Pisa, Italy
11:45 The Impact of Graph Rewriting on Software Engineering
Gregor Engels, Paderborn, Germany
12:15 Graph Grammars for Visual Languages: Armour or Skeleton?
Roswitha Bardohl, Julia Padberg, Gabriele Taentzer, Berlin, Germany
13:00  Lunch
15:30 The Scientific Work of Grzegorz Rozenberg
Wilfried Brauer, Munich, Germany
16:00 The Nature of Computation and Computation in Nature
Grzegorz Rozenberg, Leiden, The Netherlands
20:00  Dinner