TERMGRAPH 2018 - 10th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2018)

Term graph rewriting is concerned with the representation of expressions as graphs and the evaluation of these expressions by rule-based graph transformation. The advantage of using graphs rather than strings or trees is that graphs are more expressive structures, where common subgraphs can be shared (thus improving the efficiency of representations and computations in space and time). Graph structures are ubiquitous in implementations of functional and logic programming languages, systems for automated reasoning, and symbolic computation systems.
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 systems, and automated reasoning and symbolic computation systems working on shared structures.
Previous editions of the workshop took place in Barcelona (2002), Rome (2004), Vienna (2006), Braga (2007), York (2009), Saarbrücken (2011), Rome (2013), Vienna (2014) and Eindhoven (2016).
This year TERMGRAPH is affiliated with FSCD, which is part of FLOC.
The permanent TERMGRAPH site has further information.
Topics
Topics of interest include all aspects of term and graph rewriting, and applications of graph transformations in programming, automated reasoning and symbolic computation. This includes (but is not limited to):
theory of first-order and higher-order term and graph rewriting
graph rewriting in lambda calculus (sharing graphs, optimality)
term/graph based models of computation
term/graph based languages and modelling frameworks
term/graph rewriting tools: case studies and system descriptions
term/graph rewriting based aspects of:
semantics and implementation of programming languages
compiler construction
interaction nets and proof nets
pattern recognition
bioinformatics