2nd International Workshop on
Reduction Strategies in Rewriting and Programming

WRS 2002
(held in conjunction with RTA 2002)

Copenhagen, Denmark
July 21, 2002

>>> NEW: WRS 2002 final proceedings: available at ENTCS vol. 70, Issue 6 <<<

Reduction strategies in rewriting and programming have attracted an increasing attention within the last years. New types of reduction strategies have been invented and investigated, and new results on rewriting / computation under particular strategies have been obtained. Research in this field ranges from primarily theoretical questions about reduction strategies to very practical application and implementation issues. The need for a deeper understanding of reduction strategies in rewriting and programming, both in theory and practice, is obvious, since they bridge the gap between unrestricted general rewriting (computation) and (more deterministic) rewriting with particular strategies (programming). Moreover, reduction strategies provide a natural way to go from operational principles (e.g., graph and term rewriting, narrowing, lambda-calculus) and semantics (e.g., normalization, computation of values, infinitary normalization, head-normalization) to implementations of programming languages. Therefore any progress in this area is likely to be of interest not only to the rewriting community, but also to neighbouring fields like functional programming, functional-logic programming, and termination proofs of algorithms. The workshop wants to provide a forum for the presentation and discussion of new ideas and results, recent developments, new research directions, as well as of surveys on existing knowledge in this area. Furthermore we aim at fostering interaction and exchange between researchers and students actively working on such topics. The workshop will be held in conjunction with RTA 2002 in Copenhagen (Denmark) on July 21, 2002. The workshop is (co-)organized by TU Valencia and TU Wien.

Previous WRS editions: WRS'2001 (Utrecht, The Netherlands).

Topics of interest include (but are not limited to):

• theoretical foundations for the definition and semantic description of reduction strategies
• strategies in different frameworks (term rewriting, graph rewriting, infinitary rewriting, lambda calculi, higher order rewriting and explicit substitutions, conditional rewriting, rewriting with built-ins, narrowing, constraint solving, etc.) and their application in (equational, functional, functional-logic) programming (languages)
• properties of reduction strategies / computations under strategies (e.g., completeness, computability, decidability, complexity, optimality, (hyper-)normalization, cofinality, fairness, perpetuality, context-freeness, neededness, laziness, eagerness, strictness)
• interrelations, combinations and applications of reduction under different strategies (e.g., equivalence conditions for fundamental properties like termination and confluence, applications in modularity analysis, connections between strategies of different frameworks, etc.)
• program analysis and other semantics-based optimization techniques dealing with reduction strategies
• rewrite systems / tools / implementations with flexible / programmable strategies as essential concept / ingredient
• specification of reduction strategies in (real) languages
• data structures and implementation techniques for reduction strategies

We solicit papers on all aspects of reduction strategies in rewriting and programming. Submissions should describe unpublished work, except for survey papers which are explicitly welcome, too. Submissions should not exceed 10 pages (however, survey papers may be longer) and be sent in postscript format to the PC co-chairs

wrs02@dsic.upv.es
before April 25, 2002. A preliminary submission including the title, abstract, authors' names, affiliations, addresses, and e-mail should be sent (as pure text) before April 21, 2002. Selection of papers by the PC will be based on originality, significance, and correctness. Accepted papers will be included in the workshop proceedings that will be available at the workshop, and electronically on the web. Final versions will be due by June 17, 2002.

The final workshop proceedings are available as the volume 70, Issue 6 of the Electronic Notes in Theoretical Computer Science (ENTCS) series of Elsevier. Preliminary hardcopy proceedings were available at the workshop. A special issue of the Journal of Symbolic Computation on

Reduction Strategies in Rewriting and Programming

will be designated for revised and extended versions of selected contributions from both WRS'2001 (Utrecht, May 2001) and WRS'2002.

Sergio Antoy Roberto Di Cosmo Bernhard Gramlich (co-chair) Michael Hanus Claude Kirchner Paul Klint Salvador Lucas (co-chair) Manfred Schmidt-Schauss Yoshihito Toyama Portland State University Université de Paris VII Technische Universität Wien Christian-Albrechts-Universität zu Kiel LORIA & INRIA, Nancy CWI Amsterdam Universidad Politécnica de Valencia Johann Wolfgang Goethe-Universität, Frankfurt am Main Tohoku University

WRS 2002 is a one-day event that provides a forum for individual presentations of accepted and invited contributions as well as for discussions. The technical program includes lectures of the following invited speakers:

Aart Middeldorp (Tsukuba, Japan)
Approximations for Strategies and Termination

Vincent van Oostrom (Utrecht, The Netherlands)
Optimal Strategies in Higher-Order Rewriting

The second edition of WRS was part of the third Federated Logic Conference (FLoC'02) held in Copenhagen, Denmark, in July 2002.

Deadline for submissions: Submission of the abstract: Notification: Final version due: Workshop: April 25, 2002 (extended) April 21, 2002 May 31, 2002 June 21, 2002 July 21, 2002

WRS'2002 website: WRS'2002 e-mail address: RTA'2002 website: FLoC'2002 website: WRS'2002 website at FLoC: Call for papers: http://elp.webs.upv.es/workshops/wrs2002/ wrs02@dsic.upv.es http://www.ericsson.com/cslab/rta2002/ http://floc02.diku.dk/ http://floc02.diku.dk/WRS text, postscript, pdf,

Bernhard Gramlich Salvador Lucas Technische Universität Wien (TU Wien) Universidad Politécnica de Valencia (UPV)

S. Lucas