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

History and Goals

WRS has been inititated and held for the first time in 2001, in order to provide an appropriate and proper forum for presentation and discussion of research in this increasingly important field. 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 are of crucial importance in the investigation and combination of operational principles, semantics and implementations of programming languages.

WRS aims at providing a forum for presenting, (rapidly) disseminating and discussing new ideas and results, recent developments (including ongoing and unfinished work), new research directions, as well as surveys on existing knowledge in the field of reduction strategies in rewriting and programming. More generally, the workshop wants to foster interaction and exchange between researchers and students actively working on such topics, and to promote progress in this important field of research.

WRS is traditionally held in conjunction with major conferences in the field, like RTA (International Conference on Rewriting Techniques and Applications), RDP (Federated Conference on Rewriting, Deduction, and Programming, e.g. RDP'03, RDP'04, RDP'05, RDP'07), RDP'09) and FLoC (Federated Logic Conference, e.g. FLoC'02, FLoC'06), thus facilitating attendance to the workshop and at the same time enabling and fostering discussion and interaction with neighbouring areas and communities.

Previous and Upcoming Workshops

• IWS 2010 - 1st International Workshop on Strategies in Rewriting, Proving, and Programming, held in conjunction with FLoC'10 (5th Federated Logic Conference), Edinburgh, Scotland, UK, July 9, 2010
  • website
  
  
• WRS 2009 - 9th International Workshop on Reduction Strategies in Rewriting and Programming, part of RDP 2009, Brasília, Brazil, June 28, 2009
  • website
  • Program of WRS 2009
  • Preliminary Proc. WRS 2009, 55 pages, Maribel Fernández, ed., June 28, 2009
  • Final Proceedings WRS 2009, Maribel Fernández, ed., EPTCS, to appear, 2009
  
  
• WRS 2008 - 8th International Workshop on Reduction Strategies in Rewriting and Programming, affiliated to RTA 2008, Linz/Hagenberg, Austria, July 14, 2008
  • website
  • Program of WRS 2008
  • Preliminary Proc. WRS 2008, 133 pages, Aart Middeldorp, ed., July 14, 2008
  • Final Proc. WRS 2008, Aart Middeldorp, ed., ENTCS, Vol. 237, Pages 1-126, April 4, 2009
  
  
• WRS 2007 - 7th International Workshop on Reduction Strategies in Rewriting and Programming, part of RDP 2007, Paris, France, June 25, 2007
  • website
  • Program of WRS 2007
  • Preliminary Proc. WRS 2007, 194 pages, Jürgen Giesl, ed., June 25, 2007
  • ENTCS, Final Proc. WRS 2007, Jürgen Giesl, ed., ENTCS, Vol. 204, Pages 1-198, April 4, 2008
  
  
• WRS 2006 - 6th International Workshop on Reduction Strategies in Rewriting and Programming, part of FLoC 2006, Seattle, Washington, August 2006
  • website
  • Program of WRS 2006
  • Proc. WRS 2006 (on-line pre-workshop proceedings), 112 pages, Sergio Antoy, ed., August 11, 2006,
  • ENTCS 174/10, pages 1-156, July 2, 2007, WRS 2006 - final (post-workshop) proceedings
  
  
• WRS 2005 - 5th International Workshop on Reduction Strategies in Rewriting and Programming, part of RDP 2005, Nara, Japan, April 22, 2005
  • website
  • Program of WRS 2005
  • Proc. WRS 2005 - 5th International Workshop on Reduction Strategies in Rewriting and Programming, Roberto di Cosmo and Yoshihito Toyama, eds., 76 pages, April 2005
  
  
• WRS 2004 - 4th International Workshop on Reduction Strategies in Rewriting and Programming, part of RDP 2004, Aachen, Germany, June 2, 2004
  • website
  • Proc. WRS 2004 (Technical Report AIB-2004-16, RWTH Aachen)
  
  
• WRS 2003 - 3rd International Workshop on Reduction Strategies in Rewriting and Programming, part of RDP 2003, Valencia, Spain, June 8, 2003
  • website
  • ENTCS 86/4 (WRS 2003 - Final Proceedings)
  • Proc. WRS 2003 (Technical Report DSIC-II/14/03AIB-2004-16, UPV Valencia)
  
  
• WRS 2002 - 2nd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002) (see also here), part of FLoC 2002, Copenhagen, Denmark, July 21, 2002
  • website
  • ENTCS 70/6 (WRS 2002 - Final Proceedings)
  • Proc. WRS 2002 (Technical Report E1852--2002--02, TU Wien) [bibtex; pdf available on request]
  
  
• WRS 2001 - 1st International Workshop on Reduction Strategies in Rewriting and Programming, in conjunction with RTA 2001, Utrecht, The Netherlands, May 26, 2001
  • website
  • ENTCS 57 (WRS 2001 - Final Proceedings)
  • Proc. WRS 2001 (SPUPV 2359, UPV, Valencia) [bibtex; pdf available on request]

Bernhard Gramlich