© 2002

Graph Transformation

First International Conference, ICGT 2002 Barcelona, Spain, October 7–12, 2002 Proceedings

  • Andrea Corradini
  • Hartmut Ehrig
  • Hans -Jörg Kreowski
  • Grzegorz Rozenberg
Conference proceedings ICGT 2002

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2505)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Invited Papers

  3. Contributed Papers

    1. Paolo Baldan, Barbara König
      Pages 14-29
    2. Roswitha Bardohl, Claudia Ermel, Julia Padberg
      Pages 30-44
    3. Michel Bauderon, Frédérique Carrère
      Pages 45-59
    4. J. Christopher Beck, Patrick Prosser, Evgeny Selensky
      Pages 60-74
    5. Maribel Fernández, Ian Mackie
      Pages 75-89
    6. Anna Gerber, Michael Lawley, Kerry Raymond, Jim Steel, Andrew Wood
      Pages 90-105
    7. Emmanuel Godard, Yves Métivier, Mohamed Mosbah, Afif Sellami
      Pages 106-119
    8. Szilvia Gyapay, Reiko Heckel, Dániel Varró
      Pages 120-134
    9. Annegret Habel, Detlef Plump
      Pages 135-147
    10. Jurriaan Hage, Tero Harju, Emo Welzl
      Pages 148-160
    11. Reiko Heckel, Jochen Malte Küster, Gabriele Taentzer
      Pages 161-176
    12. Renate Klempien-Hinrichs
      Pages 192-206
    13. Peter Knirsch, Sabine Kuske
      Pages 207-222
    14. Manuel Koch, Francesco Parisi-Presicce
      Pages 223-238

About these proceedings


ICGT 2002 was the ?rst International Conference on Graph Transformation following a series of six international workshops on graph grammars with - plications in computer science, held in Bad Honnef (1978), Osnabruc ¨ k (1982), Warrenton (1986), Bremen (1990), Williamsburg (1994), and Paderborn (1998). ICGT 2002 was held in Barcelona (Spain), October 7–12, 2002 under the a- pices of the European Association of Theoretical Computer Science (EATCS), the European Association of Software Science and Technology (EASST), and the IFIP Working Group 1.3, Foundations of Systems Speci?cation. The scope of the conference concerned graphical structures of various kinds (like graphs, diagrams, visual sentences and others) that are useful to describe complex structures and systems in a direct and intuitive way. These structures are often augmented by formalisms which add to the static description a further dimension, allowing for the modeling of the evolution of systems via all kinds of transformations of such graphical structures. The ?eld of Graph Transformation is concerned with the theory, applications, and implementation issues of such formalisms. The theory is strongly related to areas such as graph theory and graph - gorithms, formal language and parsing theory, the theory of concurrent and distributed systems, formal speci?cation and veri?cation, logic, and semantics.


Graph Graph theory algorithms distributed systems formal language formal specification logic verification

Editors and affiliations

  • Andrea Corradini
    • 1
  • Hartmut Ehrig
    • 2
  • Hans -Jörg Kreowski
    • 3
  • Grzegorz Rozenberg
    • 4
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly
  2. 2.Computer Science DepartmentTechnical University of BerlinBerlinGermany
  3. 3.Computer Science DepartmentUniversity of BremenBremenGermany
  4. 4.Leiden Institute of Advanced Computer ScienceLeiden UniversityCA LeidenThe Netherlands

Bibliographic information

Industry Sectors
Chemical Manufacturing
Health & Hospitals
IT & Software
Consumer Packaged Goods
Materials & Steel
Energy, Utilities & Environment
Oil, Gas & Geosciences