TERMGRAPH 2014
Computing with Terms and Graphs
8th International Workshop 
13 July 2014, Vienna
Background
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
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):
- graph transformation
- graph-based implementations of lambda-calculus
- representation of concurrent systems
- models of computation
- graph-based languages
- semantics and implementation of programming languages
- compiler construction
- interaction nets and proof nets
- pattern recognition
- bioinformatics
- system descriptions
Invited Speakers
| Ian Mackie | École Polytechnique, Palaiseau | (joint with DCM 2014) |
| Samuel Mimram | CEA LIST, Saclay | (joint with IWC 2014) |
Program
Click here.
Committees
Program Committee
| Beniamino Accattoli | Bologna University | |
| Zena Ariola | University of Oregon | |
| Guillaume Bonfante | LORIA – INRIA | |
| Vincent Danos | University of Edinburgh | |
| Wolfram Kahl | McMaster University | |
| Damiano Mazza | CNRS – LIPN 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 |
Submission
There are two categories of submissions:
- Extended abstracts describing new results, work in progress, or problems.
- 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.
Proceedings
The post-proceedings have been published as volume 183 of EPTCS.