xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx CALL FOR PAPERS ICGT 2002 1st International Conference on Graph Transformation Barcelona (Spain), October 7-12, 2002 The first international conference on graph transformation ICGT 2002 including several satellite events will be held in Barcelona in the second week of October 2002. It follows a series of six international workshops on graph transformation with applications in computer science held from 1978 to 1998 in Europe and the USA. The conference takes place under the auspices of EATCS, EASST, and IFIP WG 1.3. The proceedings of ICGT will be published by Springer-Verlag in Lecture Notes in Computer Science. Scope. Graphical structures of various kinds (like graphs, diagrams, visual sentences and others) are very 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 modelling of the evolution of systems via any kind of transformation of such graphical structures. The field of Graph Transformation is concerned with the theory, applications and implementation issues of all these formalisms. The theory is strongly related to areas such as graph theory and graph algorithms, formal language and parsing theory, theory of concurrency and distributed systems, formal specification and verification, logic and semantics. The application areas include all those fields of Computer Science, Information Processing, Engineering and Natural Sciences where static and dynamic modeling by graphical structures and graph transformations, respectively, play an important role. In many of these areas tools based on graph transformation technology have been implemented and used. Topics of interest include, but are not limited to the following. On the more theoretical side: - General models of graph transformation - Node-, edge-, and hyperedge replacement graph grammars - Concurrency, distribution, and formal semantics - Term graph rewriting - Network computing - High-level replacement systems - Hierarchical graphs and decompositions of graphs - Logic expression of graph transformation properties - Graph theoretical properties of graph languages - Geometrical and topological aspects of graph transformation - Automata on graphs and parsing of graph languages - Analysis of graph transformation systems - Structuring and modularization concepts - Semantics of UML and other visual modelling techniques On the more applied side: - Specification languages - Implementation of programming languages - Design of visual programming environments - Massively parallel computing - Software engineering and modular systems - Development of meta CASE tools - Software architecture - Information security - Visual languages - Actor systems and Petri nets - Rule- and knowledge-based systems - Developmental systems - Pattern generation and picture processing - Pattern matching - Tool support - Graph exchange formats - Layout algorithms Invited speakers. Carlo Ghezzi (Milano, Italy) David Harel (Rehovot, Israel) Robin Milner (Cambridge, UK) Program committee. Michel Bauderon (Bordeaux, France), Paolo Bottoni (Rome, Italy), Andrea Corradini (co-chair; Pisa, Italy), Hartmut Ehrig (Berlin, Germany), Gregor Engels (Paderborn, Germany), Reiko Heckel (Paderborn, Germany), Dirk Janssens (Antwerp, Belgium), Hans-Jörg Kreowski (co-chair; Bremen, Germany), Ugo Montanari (Pisa, Italy), Manfred Nagl (Aachen, Germany), Fernando Orejas (Barcelona, Spain), Francesco Parisi-Presicce (Rome, Italy), Mauro Pezzé (Milano, Italy), John Pfaltz (Charlottesville, Virginia, USA), Rinus Plasmeijer (Nijmegen, The Netherlands), Detlef Plump (York, Great Britain), Azriel Rosenfeld (Maryland, USA), Grzegorz Rozenberg (Leiden, The Netherlands), Andy Schürr (Munich, Germany), Gabriele Taentzer (Berlin, Germany), Gabriel Valiente (Barcelona, Spain) Important dates. Submission of papers: April 1, 2002 Notification of acceptance: June 1, 2002 Final version due: June 20, 2002 Main conference: October 8-11, 2002 Conference including satellite events: October 7-12, 2002 Submission of papers We invite prospective authors to submit unpublished research papers of high quality. They must be in English, should not exceed 15 pages and be prepared using LaTeX and the LNCS style that can be downloaded from the URL: http://www.springer.de/comp/lncs/authors.html . Paper submission will be electronic by PDF or PostScript. The deadline for submissions is April 1, 2002. Electronic submissions will be accepted at the ICGT 2002 website http://www.lsi.upc.es/icgt2002 starting at the beginning of March. Authors without web access must make advance arrangements with one of the program chairs. General Organizing Committee. Andrea Corradini (Pisa, Italy), Hartmut Ehrig (chair; Berlin, Germany), Hans-Jörg Kreowski (Bremen, Germany), Fernando Orejas (Barcelona, Spain), Grzegorz Rozenberg (Leiden, The Netherlands) Local Organizing Committee. Nikos Mylonakis, Fernando Orejas (chair), Elvira Pino, Gabriel Valiente Steering committee. Michel Bauderon (Bordeaux, France), Andrea Corradini (Pisa, Italy), Hartmut Ehrig (chair; Berlin, Germany), Gregor Engels (Paderborn, Germany), Dirk Janssens (Antwerp, Belgium), Hans-Jörg Kreowski (Bremen, Germany), Ugo Montanari (Pisa, Italy), Manfred Nagl (Aachen, Germany), Francesco Parisi-Presicce (Rome, Italy), John Pfaltz (Charlottesville, Virginia, USA), Rinus Plasmeijer (Nijmegen, The Netherlands), Azriel Rosenfeld (Maryland, USA), Grzegorz Rozenberg (Leiden, The Netherlands) More details concerning ICGT 2002 including the main conference, satellite events, submission of papers, local information on the conference site, and travel information can be found on the website of ICGT 2002, http://www.lsi.upc.es/icgt2002 . For further information, you may contact also Andrea Corradini (andrea@di.unipi.it), Hans-Joerg Kreowski (kreo@informatik.uni-bremen.de) or Fernando Orejas (orejas@lsi.upc.es). Conference address. ICGT 2002 Fernando Orejas Universitat Politècnica de Catalunya Departament de Llenguatges i Sistemes Informàtics Campus Nord - Edif. C6 08034 Barcelona, Spain Tel: +93 401 7018 Fax: +93 401 7014 Satellite events. GRA-TRA TUTORIAL Tutorial on Foundations and Applications of Graph Transformation