WRS 2008

Reduction Strategies in Rewriting and Programming

8th International Workshop

14 July 2008, Castle of Hagenberg, Austria


The workshop promotes and stimulates research and collaboration in the area of 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 (sub)expression(s) should be selected for evaluation and which rule(s) should be applied. These choices affect fundamental properties of computations such as laziness, strictness, completeness, and efficiency, to name a few. For this reason programming languages like Elan, Maude, *OBJ*, and Stratego allow the explicit definition of the evaluation strategy, whereas languages like Clean, Curry, and Haskell allow its modification. In addition to strategies in rewriting and programming, WRS 2008 also covers the use of strategies and tactics in other areas such as theorem and termination proving.

Previous editions of the workshop were held in Utrecht (2001), Copenhagen (2002), Valencia (2003), Aachen (2004), Nara (2005), Seattle (2006), and Paris (2007). The permanent WRS site has further information. WRS 2008 collocates with RTA 2008, the 19th International Conference on Rewriting Techniques and Applications.


Topics of interest include, but are not restricted to:


Program Chair

Aart Middeldorp
University of Innsbruck, Austria

Program Committee

Elvira Albert Madrid
Gabrielle Keller Sydney
Hélène Kirchner Bordeaux
Temur Kutsia Linz
Ian Mackie Paris
Aart Middeldorp Innsbruck
Pierre-Etienne Moreau Nancy
Michael Norrish Canberra
Femke van Raamsdonk Amsterdam
Kristoffer Rose Yorktown Heights
Amr Sabry Bloomington
Masahiko Sakai Nagoya

Local Arrangements

Temur Kutsia
RISC, Johannes Kepler University of Linz, Austria

Important Dates

Submission May 5, 2008
Notification June 2, 2008
Final version June 23, 2008, 10:00 GMT
Workshop July 14, 2008


There are two categories of submissions:

(A) Submissions to the formal proceedings
These submissions must describe unpublished work. Accepted submissions of this category will be published both in the informal and in the formal proceedings. The formal proceedings will be published by Elsevier as a volume of ENTCS.

(B) Submissions to the informal proceedings
These submissions may also describe work that has been or will be submitted or published elsewhere or work in progress. Accepted submissions of this category will be published in the informal, but not in the formal proceedings.

The page limit for papers in both categories is 15 pages in ENTCS style. We also explicitly solicit survey and tutorial submissions (of either category) which may be longer. The necessary style files and instructions can be found at www.entcs.org/prelim.html. The submission page for WRS 2008 is



Accepted submissions of both categories will be published in the informal proceedings which will be distributed during the workshop. Accepted submissions of category (A) will be published by Elsevier as a volume of ENTCS.

The informal proceedings have appeared as number 08-09 in the RISC-Linz Report Series.

The formal proceedings have appeared as volume 237 of ENTCS.

Invited Speaker

Yves Lafont
Université de la Méditerranée, Marseille