======================================================================= Second Call for Papers TERMGRAPH 2002 International Workshop on Term Graph Rewriting Barcelona, Spain 7 October 2002 A satellite event of ICGT 2002 The First International Conference on Graph Transformation (http://www.lsi.upc.es/icgt2002/) ======================================================================= Background and Aims ------------------- Term graph rewriting is concerned with the representation of functional expressions as graphs and the evaluation of these expressions by rule-based graph transformation. Using graphs rather than strings or trees allows to share common subexpressions, which improves the efficiency of computations in space and time. Sharing is ubiquitous in implementations of functional and logic programming languages, systems for automated reasoning, and symbolic computation systems. Research in term graph rewriting ranges from theoretical questions to practical implementation issues. It includes such different lines as the modelling of (finite or infinitary) first-order term rewriting by (acyclic or cyclic) graph rewriting, rewrite rules on so-called sharing graphs for Levy-optimal reduction in the lambda calculus, rewrite calculi on cyclic higher-order term graphs for the semantics and analysis of functional programs, graph reduction implementations of functional programming languages, and automated reasoning and symbolic computation systems working on shared structures. The aim of this workshop is to bring together researchers working in these different domains and to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in term graph rewriting. TERMGRAPH 2002 will be a one-day satellite event of the International Conference on Graph Transformation (ICGT 2002), which will take place October 8-11, 2002, in Barcelona. Topics of Interest ------------------ Topics of interest include all aspects of term graphs and sharing of common subexpressions in rewriting, programming, automated reasoning and symbolic computation. This includes (but is not limited to): * Theory of first-order and higher-order term graph rewriting * Graph rewriting in lambda calculus (sharing graphs, optimality) * Applications in functional, logic and functional-logic programming * Applications in automated reasoning and symbolic computation * Implementation issues * System descriptions Submissions ----------- Authors are invited to submit an extended abstract of 5 to 10 pages by e-mail to the program chair (det@cs.york.ac.uk). Submissions should be in PostScript format. It is strongly recommended to use LaTeX and ENTCS style files (http://math.tulane.edu/~entcs/). Publication ----------- Accepted contributions will appear in an issue of Elsevier's Electronic Notes in Theoretical Computer Science. Preliminary proceedings will be available at the workshop. Important Dates --------------- Submission deadline: June 15, 2002 Notification: July 15, 2002 Final version due: September 6, 2002 Workshop: October 7, 2002 ICGT 2002: October 8-11, 2002 Program Committee ----------------- Zena M. Ariola University of Oregon, Eugene (US) Richard Banach University of Manchester (UK) Rachid Echahed IMAG, Grenoble (FR) Richard Kennaway University of East Anglia, Norwich (UK) Jan Willem Klop Free University of Amsterdam (NL) Rinus Plasmeijer University of Nijmegen (NL) Detlef Plump University of York (UK), chair Contact ------- Dr. Detlef Plump Department of Computer Science The University of York Heslington, York YO10 5DD United Kingdom E-mail: det@cs.york.ac.uk Phone: +44-1904-434778 Fax: +44-1904-432767 Further Information ------------------- TERMGRAPH 2002: http://www.cs.york.ac.uk/~det/Termgraph_2002/cfp.html ICGT 2002: http://www.lsi.upc.es/icgt2002/