TermGraph 2016 - 9th International Workshop on Computing with Terms and Graphs

Sharing of subterms is an obvious way to represent terms more efficiently, yielding term graphs. This 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.
Research areas and topics for the workshop include: modelling of first- and higher-order and infinitary 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; graphs as models of biological or chemical abstract machines; and automated reasoning and symbolic computation systems working on shared structures.
Organizers: Andrea Corradini, Hans Zantema