Second International Workshop on Term Graph Rewriting
Date: Oct. 2
Site: Dipartimento di Informatica, via Salaria 113

Organizer:
Maribel Fernandez (London, Great Britain)
Andrea Corradini (Pisa, Italy)

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

• Theory of first-order and higher-order term graph rewriting
• Graph rewriting in lambda calculus (sharing graphs, optimality)
• Applications in functional, logic and functional-logic programming
• Applications in automated reasoning and symbolic computation
• Implementation issues
• System descriptions

Contact and further information:
Maribel Fernandez (maribel@dcs.kcl.ac.uk)
Andrea Corradini (andrea@di.unipi.it)
http://www.dcs.kcl.ac.uk/staff/maribel/TERMGRAPH.html