Aims

Research in term and graph rewriting ranges from theoretical questions to practical issues. Computing with graphs handles the sharing of common subexpressions in a natural and seamless way, and improves the efficiency of computations in space and time. Sharing is ubiquitous in several research areas, for instance : the modelling of first- and higher-order term rewriting by (acyclic or cyclic) graph rewriting, the modelling of biological or chemical abstract machines, the implementation techniques of programming languages: many implementations of functional, logic, object-oriented, concurrent and mobile calculi are based on term graphs. Term graphs are also used in automated theorem proving and symbolic computation systems working on shared structures. The aim of this workshop is to bring together researchers working in different domains on term and graph transformation 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. Previous editions of TERMGRAPH series were held in Barcelona (2002), in Rome (2004), in Vienna (2006), in Braga (2007) and in York (2009).

Topics

Program Committee

• Paolo Baldan, University of Padova, Italy
• Andrea Corradini, University of Pisa, Italy
• Frank Drewes, Umea University, Sweden
• Rachid Echahed (co-chair), LIG Lab., Grenoble, France
• Tetsuo Ida, University of Tsukuba, Japan
• Wolfram Kahl, McMaster University, Canada
• Ian Mackie, Ecole Polytechnique, France
• Detlef Plump, University of York, UK

Submissions and Proceedings

• Authors are invited to submit either regular papers (up to 15 pages), or position papers, system descriptions, work in progress, extended abstracts (5-7 pages), in Electronic Proceedings in Theoretical Computer Science (EPTCS) style. Submissions should be in PostScript or PDF format. Papers should be submitted electronically via the easy-chair submission site.
• The Proceedings will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS). Selected authors will be invited to submit a full version of their papers after the workshop. These submissions will pass through a second round of reviewing and accepted contributions are to be included in a special issue of the international journal Mathematical Structures in Computer Science (MSCS).

Important Dates

Contact

• Rachid Echahed, LIG Lab., Grenoble, France
• echahed@imag.fr