10th International Workshop on Reduction Strategies in Rewriting and Programming
This series of workshops on Reduction Strategies in Rewriting and Programming aims to promote 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, the WRS workshop series also covers the use of strategies and tactics in other areas such as theorem proving and program termination.
Previous editions of the workshop were held in Utrecht (2001), Copenhagen (2002), Valencia (2003), Aachen (2004), Nara (2005), Seattle (2006), Paris (2007), Hagenberg (2008), Brasilia (2009) and Edinburgh (2010); the last one as a joint workshop with the Strategies workshop.
Specific 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
More information can be found here.
- Santiago Escobar, Universidad Politécnica de Valencia, Spain