About Conferences Colloquium Workshops Practical

WRS 2007

7th International Workshop on Reduction Strategies in Rewriting and Programming

Monday, June 25, 2007, Paris
Part of RDP'07

The workshop intends to promote and stimulate international 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 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.

In addition to evaluation strategies, WRS 07 also covers the use of strategies and tactics in other areas such as theorem proving and termination proving.

Thus, 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), WRS 2005 (Nara, Japan), and WRS 2006 (Seattle, USA). See also the WRS permanent page at http://www.dsic.upv.es/~wrs/.


Topics of interest include, but are not restricted to:

Program Committee

Invited Speakers


The workshop will have both informal and formal proceedings:
  • The informal proceedings contain all accepted submissions (of both category (A) and (B), see below). They will be distributed at the workshop and will also be available on-line.
  • The formal proceedings contain all accepted submissions of category (A), see below. The formal proceedings will be published by Elsevier as a volume of ENTCS.


There are two categories of submissions:

 (A)  Submissions to the formal proceedings

These submissions must describe unpublished work. All accepted submissions of this category will be published both in the informal and in the formal proceedings.

(B)  Submissions to the informal proceedings

Accepted submissions of this category will be published  in the informal proceedings, but not in the formal proceedings. These submissions may also describe work that
  • may already have been submitted or published elsewhere or
  • will be submitted or published elsewhere or
  • is still in progress
Accepted submissions of both categories will be presented at the workshop (where the talks for papers of both categories have the same length).

The page limit for papers in both category (A) and (B) is 15 pages in ENTCS-style. The necessary style files and instructions can be found here. We also explicitly solicit survey and tutorial submissions (of either category) which may be longer.

A PDF version of the call-for-papers can be found here.

The submission page for WRS 2007 is http://www.easychair.org/WRS2007/.


Jürgen Giesl
webmaster at rdp07 dot org