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:
- 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 optimization 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
|University of Innsbruck, Austria|
|Femke van Raamsdonk||Amsterdam|
|Kristoffer Rose||Yorktown Heights|
|RISC, Johannes Kepler University of Linz, Austria|
|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.
|Université de la Méditerranée, Marseille|