10th International Workshop on
in Rewriting and Programming
29 May 2011
Novi Sad, Serbia
An RDP workshop.
This workshop promotes research and collaboration in the area of reduction 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 define which (sub)expression(s) should be selected for evaluation and which rule(s) should be applied. These choices affect fundamental properties of computations such as laziness, strictness, completeness, and efficiency, to name a few. For this reason programming languages such as Elan, Maude, OBJ, Stratego, and TOM allow the explicit definition of the evaluation strategy, whereas languages such as Clean, Curry, and Haskell allow its modification. In addition to strategies in rewriting and programming, WRS also covers the use of strategies and tactics in other areas such as theorem and termination proving.
Previous editions of the workshop were held in Utrecht (2001), Copenhagen (2002), Valencia (2003), Aachen (2004), Nara (2005), Seattle (2006), Paris (2007), Hagenberg (2008), Brasilia (2009), and Edinburgh (2010); the last one as a joint workshop with the STRATEGIES workshop. Further information can be found at the permanent site for WRS.
WRS 2011 is planned to be co-located with RTA 2011 (22nd International Conference on Rewriting Techniques and Applications), as a satellite event of RDP, the Federated Conference on Rewriting, Deduction, and Programming.
TOPICSTopics 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 optimisation 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
SUBMISSION GUIDELINESThe submission process is in two stages.
- Before the workshop, authors are invited to submit an extended abstract (max. 5 pages) to be formatted in the EasyChair class style through the EasyChair submission site here. Accepted abstracts will be presented at the workshop and included in the preliminary proceedings, available at the workshop.
- After the workshop, authors will be invited to submit a full paper of their presentation (typically a 15-pages paper), which will be refereed and considered for publication in an electronic journal, such as Electronic Proceedings in Theoretical Computer Science.
We envisage publication of a special issue of a journal dedicated to WRS after the event.
The call for papers can be found here.
- Dan Dougherty Worcester Polytechnic Institute, USA
- Santiago Escobar Universidad Politécnica de Valencia, Spain (chair)
- Maribel Fernández King's College London, UK
- Jürgen Giesl RWTH Aachen, Germany
- Bernhard Gramlich Technische Universität Wien, Austria
- Hélène Kirchner Centre de Recherche INRIA Bordeaux, France
- Francisco Javier López Fraguas Universidad Complutense de Madrid, Spain
- Salvador Lucas Universidad Politécnica de Valencia, Spain
- Aart Middeldorp University of Innsbruck, Austria
- Jaco van de Pol University of Twente, The Netherlands
- Masahiko Sakai Nagoya University, Japan
- Manfred Schmidt-Schauss Johann Wolfgang Goethe-Universität, Germany
FURTHER INFORMATIONFor further information please contact
Universidad Politécnica de Valencia, Spain