The Sixth International Workshop on
Reduction Strategies in Rewriting and Programming

The Seattle Sheraton Hotel and Towers
Seattle, Washington, August 11, 2006

Scope | Important Dates | Program Committee | Topics | Submissions | Publication | FloC 2006 | Invited Speakers | Contact


The workshop intends to promote and stimulate international research and collaboration in the area of evaluation strategies. It encourages the presentation of new directions, developments and results as well as surveys and tutorials on existing knowledge in this area.

Reduction strategies study which subexpression(s) of an expression should be selected for evaluation and which rule(s) should be applied. These choices affect fundamental properties of a computation such as laziness, strictness, completeness and need to name a few. For this reason some programming languages, e.g., Elan, Maude, *OBJ* and Stratego, allow the explicit definition of the evaluation strategy, whereas other languages, e.g., Clean, Curry, and Haskell, allow its modification. Strategies pose challenging theoretical problems and play an important role in practical tools such as theorem provers, model checkers and programming languages. In implementations of languages, strategies bridge the gap between operational principles, e.g., graph and term rewriting, narrowing and lambda-calculus, and semantics, e.g., normalization, computation of values and head-normalization.

The previous editions of the workshop were: WRS 2001 (Utrecht, The Netherlands), WRS 2002 (Copenhagen, Denmark), WRS 2003 (Valencia, Spain), WRS 2004 (Aachen, Germany), and WRS 2005 (Nara, Japan). See also the WRS permanent page.

Important Dates

Abstract Submission: May 8, 2006
Paper Submission: May 15, 2006
Author Notification: June 12, 2006
Camera-Ready: July 10, 2006
Conference: Aug 11, 2006

Program Committee

Sergio Antoy, (chair) Portland State University
Santiago Escobar, Universidad Politécnica de Valencia
Jürgen Giesl, RWTH Aachen
Bernhard Gramlich, Technische Universität Wien
Ralf Lämmel, Microsoft Corp.
Salvador Lucas, Universidad Politécnica de Valencia
Narciso Marti-Oliet, Universidad Complutense de Madrid
Mizuhito Ogawa, Japan Advanced Institute of Science and Technology
Jaco van de Pol, Centrum voor Wiskunde en Informatica
Manfred Schmidt-Schauß, Johann Wolfgang Goethe-Universität


Topics of interest include, but are not restricted to:


Submissions must be original and not submitted for publication elsewhere. The page limit for regular papers is 13 pages in Springer Verlag LNCS style. Surveys and tutorials may be longer. Use the WRS06 submission page, handled by the EasyChair conference system, to submit abstracts, papers and to update a previous submission.


On-line pre-workshop proceedings.

A hard copy will be distributed at the workshop to registered participants. Authors of selected contributions will be invited to submit a revised version, after the workshop, for inclusion in a collection. We anticipate the publication of formal proceedings in the Elsevier ENTCS series.

Invited Speakers

Talks will be given at joint sessions with RULE by:

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 Fernandez, 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 Fernandez, Mario Florido, and Ian Mackie
The Power of Closed Reduction Strategies


Sergio Antoy, antoy@cs.pdx.edu.

Last updated: Fri Jul 14 16:14:55 PDT 2006