etaps-logo etaps_logo-termgraph

This call for papers is also available as a PDF file.


The advantage of computing with graphs rather than terms is that common subexpressions can be shared, improving the efficiency of computations in space and time. Sharing is ubiquitous in implementations of programming languages: many functional, logic, object-oriented and concurrent calculi are implemented using term graphs. Research in term and graph rewriting ranges from theoretical questions to practical implementation issues. Different research areas include: the modelling of first- and higher-order term rewriting by (acyclic or cyclic) graph rewriting, the use of graphical frameworks such as interaction nets and sharing graphs (optimal reduction), rewrite calculi for the semantics and analysis of functional programs, graph reduction implementations of programming languages, graphical calculi modelling concurrent and mobile computations, object-oriented systems, graphs as a model of biological or chemical abstract machines, 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 2007 will be a one-day satellite event of the ETAPS 2007, which will take place in Braga, Portugal. The first TERMGRAPH workshop took place in Barcelona in 2002, the second in Rome in 2004, and the third in Vienna in 2006.

Topics of Interest top

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): term rewriting, graph transformation, programming languages, models of computation, graph-based languages, semantics and implementation of programming languages, compiler construction, pattern recognition, databases, bioinformatics, and system descriptions.

Submissions and Publication top

Authors are invited to submit either a short paper (5-7 pages) or a complete paper (12 pages) by e-mail to by 29 December, 2006. Preliminary proceedings will be available at the workshop. Submissions should be in PostScript or PDF format, using ENTCS style files.

After the workshop authors are invited to submit a revised version (12 pages) of their presentation. Accepted contributions will appear in an issue of Elsevier's Electronic Notes in Theoretical Computer Science.

Important Dates top

Submission Deadline for Extended Abstracts: 29 December, 2006
Notification: 1 February, 2007
Pre-proceedings version due: 1 March, 2007
Workshop: 31 March, 2007
Submission Deadline for ENTCS Proceedings: 15 June, 2007
Notification: 14 September, 2007
Final Versions: 12 October, 2007

Programme Committee top

Zena Ariola University of Oregon, USA
Andrea Corradini University of Pisa, Italy
Maribel Fernández King's College London, UK
Bernhard Gramlich Vienna University of Technology, Austria
Annegret Habel University of Oldenburg, Germany
Claude Kirchner INRIA & LORIA, France
Jean-Jacques Lévy INRIA, France
Ian Mackie King's College London and Ecole Polytechnique (Co-Chair)
Aart Middeldorp University of Innsbruck, Austria
Ugo Montanari University of Pisa, Italy
Jorge Sousa Pinto University of Minho, Braga, Portugal
Detlef Plump University of York, UK (Co-Chair)
Arend Rensink University of Twente, NL

Contact top

Ian Mackie, Detlef Plump


Valid HTML 4.01 Transitional