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 |