TERMGRAPH 2014
Computing with Terms and Graphs
8th International Workshop 
13 July 2014, Vienna
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