Computing with Terms and Graphs

8th International Workshop
Vienna Summer o f Logic

13 July 2014, Vienna


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 the workshop took place in Barcelona (2002), Rome (2004), Vienna (2006), Braga (2007), York (2009), Saarbrücken (2011), and Rome (2013). The permanent TERMGRAPH site has further information. This year TERMGRAPH is affiliated with the joint RTA and TLCA conference, which is part of FLoC, which in turn participates in the Vienna Summer of Logic 2014.


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):

Invited Speakers

Ian Mackie   École Polytechnique, Palaiseau   (joint with DCM 2014)
Samuel Mimram   CEA LIST, Saclay   (joint with IWC 2014)


Click here.


Program Committee

Beniamino Accattoli Bologna University
Zena Ariola University of Oregon
Guillaume Bonfante LORIAINRIA
Vincent Danos University of Edinburgh
Wolfram Kahl McMaster University
Damiano Mazza CNRSLIPN Paris
Aart Middeldorp University of Innsbruck (co-chair)
Pierre-Etienne Moreau INRIA-LORIA Nancy
Femke van Raamsdonk   VU University Amsterdam   (co-chair)

Steering Committee

Andrea Corradini
Maribel Fernández
Ian Mackie
Detlef Plump

Important Dates

submission: April 30, 2014 (extended)
notification: May 16, 2014
final version: May 28, 2014
workshop: July 13, 2014


There are two categories of submissions:

  1. Extended abstracts describing new results, work in progress, or problems.
  2. Short versions of articles recently published or submitted elsewhere. Papers in this category are not considered for the post-workshop proceedings.

The page limit for submissions in both categories is 5 pages in EPTCS style. Submissions should be marked with the category (either 1 or 2) and submitted electronically in PDF via the EasyChair submission site. Papers will be judged on relevance, originality, correctness, and usefulness. The informal proceedings of TERMGRAPH 2014 will be included on the FLoC USB flash drive.


The post-proceedings have been published as volume 183 of EPTCS.