WRS 2008

Reduction Strategies in Rewriting and Programming

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