| 1 | -- | 2 | Maribel Fernández. Preface |
| 3 | -- | 20 | Pietro Cenciarelli, Alessandro Tiberi. Rational Unification in 28 Characters |
| 21 | -- | 41 | Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner. A Rewriting Calculus for Cyclic Higher-order Term Graphs |
| 43 | -- | 56 | Andrea Corradini, Fabio Gadducci. On Term Graphs as an Adhesive Category |
| 57 | -- | 82 | Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang. Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract |
| 83 | -- | 111 | Fabien Fleutot. Encoding an Object Calculus into Interaction Nets |
| 113 | -- | 132 | Stefano Guerrini. Sharing Implementations of Graph Rewriting Systems |
| 133 | -- | 151 | Ian Mackie. Towards a Programming Language for Interaction Nets |
| 153 | -- | 169 | François-Régis Sinot, Ian Mackie. Macros for Interaction Nets: A Conservative Extension of Interaction Nets |
| 171 | -- | 195 | Steffen van Bakel, Jayshan Raghunandan. Implementing X |