Abstract

This volume contains the Proceedings of SEGRAGRA'95, the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation. The Workshop was held in the “Centro Studi Santa Maria Maddalena” of Volterra, near Pisa, Italy, from August 28 to September 1, 1995.SEGRAGRA'95 addressed the area of Graph Rewriting and Term Graph Rewriting. It was the final workshop of two Esprit Basic Research Working Groups, COMPUGRAPH II and SEMAGRAPH II. Both working groups have been active in the three year period 1992/95. Unicode entity – undefined95. They have decided to organize their final workshop as a common initiative, with the aim of presenting the achieved results and their view of the state of the art in the field.Out of 39 submitted papers, the Program Committee selected 23 for presentation at the Workshop. These were grouped into sessions on Graph Rewriting I and II, Term Graph Rewriting I and II, Computing on Graphs, Concurrency & Parallelism, Modules, Software Engineering, Types and Proofs. The program included also invited talks by Eike Best (Universität Hildesheim), Thomas Johnsson (Chalmers University), Detlef Seese (Universität Karlsruhe) and Chris Wadsworth (Rutherford Appleton Laboratory); and tutorials by Henk Barendregt (Katholieke Universiteit Nijmegen), Andrea Corradini (Università di Pisa), Bruno Courcelle (Université Bordeaux I), Hartmut Ehrig (Technische Universität Berlin), Richard Kennaway (University of East Anglia, Norwich), Hans-Jörg Kreowski (Universität Bremen), Rinus Plasmeijer (Katholieke Universiteit Nijmegen) and Ronan Sleep (University of East Anglia, Norwich).The Conference site was made available at no cost to SEGRAGRA'95 by the Cassa di Risparmio di Volterra. The Workshop was supported by Gruppo Nazionale Informatica Matematica (CNR) and Istituto di Elaborazione dell'Informazione (CNR).We thank the anonymous referees, the Program Committee members: the Organizing Committee members: Fabio Gadducci and Marco Pistore from the University of Pisa gave us a valuable help in the local organization during the Workshop. We also thank the Managing Editors of the Electronic Notes in Computer Science series, Michael Mislove, Maurice Nivat, and Christos Papadimitriou, for giving us the opportunity of publishing the proceedings in this new electronic series, and Mike Mislove and Joost W.M. Kok (from Elsevier) for the constant support and the valuable suggestions they provided us during the preparation of this electronic volume.Andrea Corradini and Ugo Montanari, Guest Editors

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.