Accepted Papers

Karl Trygve Kalleberg, Eelco Visser
Strategic Graph Rewriting

Mercedes Hidalgo-Herrero, Alberto Verdejo, and Yolanda Ortega-Mallen
Using Maude and its strategies for analyzing Eden semantics

Naoki Nishida, Tomohiro Mizutani, and Masahiko Sakai
Transformation for Refining Unraveled Conditional Term Rewriting Systems

Claudio Sacerdoti Coen
Reduction and conversion strategies for the Calculus of (co)Inductive Constructions: Part I

Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, and Francois-Regis Sinot
New Evaluation Strategies for Functional Languages

Muck van Weerdenburg
An account of implementing applicative term rewriting

Sandra Alves, Maribel Fernández, Mario Florido, and Ian Mackie
The Power of Closed Reduction Strategies