WRS'2001 - Second call for papers

Salvador Lucas Alba slucas@dsic.upv.es
Thu, 15 Feb 2001 10:10:48 +0100

           [Apologies for multiple copies of this announcement]

*****************  2nd call for papers and participation  ****************

International Workshop on Reduction Strategies in Rewriting and
                     Programming (WRS 2001)

                 held in conjunction with RTA 2001
               Utrecht, The Netherlands, May 26, 2001



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

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 2001 in Utrecht (The
Netherlands) on May 26, 2001. It will feature 2 invited talks, a panel
discussion, and contributed presentations selected from the
submissions, with ample time for discussion.

The workshop is (co-)organized by U Utrecht, TU Valencia and TU Wien.


Topics of interest include, but are not restricted 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,
  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


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
(wrs01@logic.at) by March 1, 2001. 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.
Depending on the number and quality of submissions, formal publication
of the proceedings is envisaged.

Researchers just interested in attending the workshop may send a
corresponding email to wrs01@logic.at by March 1, 2001, preferably
together with a brief position paper (up to two pages in postscript)
describing their interest and/or work in the area. However, we will
also consider late requests for attendance.


  Sergio Antoy (U Portland State):
    Evaluation Strategies for Functional Logic Programming
  Eelco Visser (U Utrecht, The Netherlands):
    A Survey of Strategies in Program Transformation Systems

PANEL DISCUSSION on ``Hot Topics in Reduction Strategies'' with

  Michael Hanus                  U Kiel (Germany)
  Tetsuo Ida                     U Tsukuba (Japan)
  Paul Klint                     CWI & U Amsterdam (The Netherlands)


  Maria Alpuente                 TU Valencia (Spain)
  Rachid Echahed                 IMAG Grenoble (France)
  Bernhard Gramlich (co-chair)   TU Wien (Austria)
  Salvador Lucas (co-chair)      TU Valencia (Spain)
  Vincent van Oostrom            U Utrecht (The Netherlands)
  Rinus Plasmeijer               KU Nijmegen (The Netherlands)
  Manfred Schmidt-Schauss        U Frankfurt a.M. (Germany)
  Yoshihito Toyama               U Tohoku (Japan)


  Vincent van Oostrom            U Utrecht (The Netherlands)


  Submission    March 1, 2001
  Notification  March 31, 2001
  Final version April 30, 2001
  Workshop      May 26, 2001


  workshop website               http://www.logic.at/wrs01/
  workshop email address         wrs01@logic.at