WRS 2003 - First Call for Papers

Salvador Lucas slucas@dsic.upv.es
Mon, 13 Jan 2003 12:06:03 +0100


******************************************************************
***********  first call for papers and participation   ***********
******************************************************************

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

               http://www.dsic.upv.es/~rdp03/wrs

              part of the Federated Conference on
        Rewriting, Deduction and Programming (RDP 2003)

                 Valencia, Spain, June 8, 2003

------------------------------------------------------------------

BACKGROUND AND AIMS

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 is part of the Federated Conference on
Rewriting, Deduction and Programming (RDP 2003) to be held in
Valencia (Spain) on June 8, 2003.

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


TOPICS OF INTEREST

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 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.


SUBMISSIONS

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 at

  wrs03@logic.at

before March 23, 2003. Submissions should include the title,
authors' names,  affiliations, addresses, and e-mail. Selection
of papers by the PC will be based on originality, significance,
and correctness. Final versions will be due by May 11, 2003.


PUBLICATION

Accepted papers will be included in the preliminary workshop
proceedings that will be available at the workshop. The final
workshop proceedings will be published in the Electronic Notes
in Theoretical Computer Science (ENTCS) series of Elsevier.

PROGRAM COMMITTEE

  Sergio Antoy                     Portland (USA)
  Zena M. Ariola                   Oregon (USA)
  Roberto Di Cosmo                 Paris VII (France)
  Juergen Giesl                    Aachen (Germany)
  Bernhard Gramlich (co-chair)     Wien (Austria)
  Salvador Lucas (co-chair)        Valencia (Spain)
  Aart Middeldorp                  Tsukuba (Japan)
  Ricardo Pe~na                    Madrid (Spain)
  Pierre Rety                      Orleans (France)
  Eelco Visser                     Utrecht (The Netherlands)

ORGANIZERS

  Bernhard Gramlich      Technische Universitaet Wien
  Salvador Lucas         Universidad Politecnica de Valencia


IMPORTANT DATES

  Deadline for submissions: March 23, 2003
  Notification:             April 25, 2003
  Final version due:        May   11, 2003
  Workshop:                 June   8, 2003

FURTHER INFORMATION

  WRS 2003 website:         http://www.dsic.upv.es/~rdp03/wrs
  WRS 2003 e-mail address:  wrs03@logic.at
  RDP 2003 website:         http://www.dsic.upv.es/~rdp03


******************************************************************