| 1 | -- | 2 | Ian Mackie. Preface |
| 3 | -- | 23 | Sergio Antoy, Daniel W. Brown, Su-Hui Chiang. Lazy Context Cloning for Non-Deterministic Graph Rewriting |
| 25 | -- | 37 | Christophe Calvès, Maribel Fernández. Implementing Nominal Unification |
| 39 | -- | 63 | Olaf Chitil, Yong Luo. Structure and Properties of Traces for Functional Programs |
| 65 | -- | 84 | Dominique Duval, Rachid Echahed, Frédéric Prost. Modeling Pointer Redirection as Cyclic Term-graph Rewriting |
| 85 | -- | 97 | Paolo Baldan, Fabio Gadducci, Ugo Montanari. Modelling Calculi with Name Mobility using Graphs with Equivalences |
| 99 | -- | 111 | Paul D. Hovland, Boyana Norris, Michelle Mills Strout, Jean Utke. Term Graphs for Computing Derivatives in Imperative Languages |
| 113 | -- | 137 | Damiano Mazza. Observational Equivalence for the Interaction Combinators and Internal Separation |
| 139 | -- | 163 | José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça. A Local Graph-rewriting System for Deciding Equality in Sum-product Theories |