The 11th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2013) will be held in Eindhoven on 27 June 2013 as part of RDP 2013, the Federated Conference on Rewriting, Deduction, and Programming.
The WRS workshop promotes research and collaboration in the area of reduction strategies in rewriting and programming. 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), Edinburgh (2010), Novi Sad (2011), and Manchester (2012); the 2010 and 2012 editions were joint with the STRATEGIES workshop. Further information can be found at the permanent site for WRS.
|Paper submission deadline:||1 May 2013 (EXTENDED DEADLINE)|
|Notification of acceptance:||22 May 2013|
|Preliminary proceedings versions due:||5 June 2013|
|Workshop:||Cancelled due to low number of submissions|
|Paper submission for final proceedings:||TBA|
|Notification of acceptance:||TBA|
|Final version due:||TBA|