WRS'09

9th International Workshop on Reduction Strategies
in Rewriting and Programming
28 June 2009
Brasilia
An RDP workshop.

This workshop promotes research and collaboration in the area of reduction 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 define 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 such as Elan, Maude, OBJ, Stratego, and TOM allow the explicit definition of the evaluation strategy, whereas languages such as Clean, Curry, and Haskell allow its modification. In addition to strategies in rewriting and programming, WRS 2009 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), Paris (2007), Hagenberg (2008). Further information can be found in the WRS website .
WRS 2009 is planned to be co-located with RTA 2009 (20th International Conference on Rewriting Techniques and Applications), as a satellite event of RDP, the Federated Conference on Rewriting, Deduction, and Programming.

TOPICS

Topics of interest include, but are not restricted to:

foundations for the definition and semantic description of reduction strategies
strategies in rewriting, lambda calculi, narrowing, constraint solving
strategies in programming languages
strategies and tactics in theorem and termination proving
properties of strategies and corresponding computations
interrelations, combinations and applications of computation under different evaluation strategies
analysis and optimisation techniques for reduction strategies
rewrite systems, tools and implementations with flexible strategies
strategies suitable to software engineering problems and applications
tutorials and systems related to strategies

SUBMISSION GUIDELINES

The submission is in two stages.
1)Before the workshop, authors are invited to submit an abstract (max. 5 pages) in pdf format, using the web-based submission site. Accepted abstracts will be presented at the workshop and included in the preliminary proceedings, available at the workshop.
2) After the workshop, authors will be invited to submit a paper (max 12 pages) based on their presentation, which will be refereed for inclusion in the final workshop proceedings. We plan to publish the final proceedings in EPTCS.

We also invite authors to submit a 5 page abstract describing relevant work that has been or will be published elsewhere, or work in progress. Submissions in this class will be only considered for presentation at the workshop and inclusion in the preliminary proceedings but not in the final proceedings.

We envisage publication of a special issue of a journal dedicated to WRS after the event.

IMPORTANT DATES

Submission: 30 April 2009

Notification: 26 May 2009

Preliminary proceedings version due: 7 June 2009

Workshop: 28 June 2009

Submission for final proceedings: 5 September 2009

Notification: 3 November 2009

Final version: 30 November 2009

The call for papers can be found here.