|AboutConferences Colloquium Workshops Practical||
7th International Workshop on Reduction Strategies in Rewriting and Programming
Part of RDP'07
The workshop intends to promote and stimulate international research and collaboration in the area of 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 study which subexpression(s) of an expression should be selected for evaluation and which rule(s) should be applied. These choices affect fundamental properties of a computation such as laziness, strictness, completeness, and need, to name a few. For this reason some programming languages, e.g., Elan, Maude, *OBJ*, and Stratego, allow the explicit definition of the evaluation strategy, whereas other languages, e.g., Clean, Curry, and Haskell, allow its modification.
In addition to evaluation strategies, WRS 07 also covers the use of strategies and tactics in other areas such as theorem proving and termination proving.
Thus, strategies pose challenging theoretical problems and play an important role in practical tools such as theorem provers, model checkers, and programming languages. In implementations of languages, strategies bridge the gap between operational principles, e.g., graph and term rewriting, narrowing and lambda-calculus, and semantics, e.g., normalization, computation of values and head-normalization.
The previous editions of the workshop were: WRS 2001 (Utrecht, The Netherlands), WRS 2002 (Copenhagen, Denmark), WRS 2003 (Valencia, Spain), WRS 2004 (Aachen, Germany), WRS 2005 (Nara, Japan), and WRS 2006 (Seattle, USA). See also the WRS permanent page at http://www.dsic.upv.es/~wrs/.Topics of interest include, but are not restricted to:
PublicationThe workshop will have both informal and formal proceedings:
SubmissionsThere are two categories of submissions:
(A) Submissions to the formal proceedings
These submissions must describe unpublished work. All accepted submissions of this category will be published both in the informal and in the formal proceedings.
(B) Submissions to the informal proceedings
Accepted submissions of this category will be published in the informal proceedings, but not in the formal proceedings. These submissions may also describe work thatAccepted submissions of both categories will be presented at the workshop (where the talks for papers of both categories have the same length).
The page limit for papers in both category (A) and (B) is 15 pages in ENTCS-style. The necessary style files and instructions can be found here. We also explicitly solicit survey and tutorial submissions (of either category) which may be longer.
A PDF version of the call-for-papers can be found here.
webmaster at rdp07 dot org