[TYPES/announce] Last CfP: WRS 2011 - 10th International Workshop on Reduction Strategies in Rewriting and Programming

[Santiago Escobar]

           Last Call for Papers

                 WRS 2011
      10th International Workshop on 
Reduction Strategies in Rewriting and Programming 
  http://www.dsic.upv.es/workshops/wrs2011
       29 May 2011, Novi Sad, Serbia

          An RDP 2011 workshop 
Federated Conference on Rewriting, Deduction, and Programming


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 <http://www.dsic.upv.es/~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. WRS 2011 will be held at Novi Sad, Serbia on 29 May 2011.

Submissions and Publication: 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. 
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. 

Beyond original ideas and recent results not published nor submitted 
elsewhere, we also invite authors to submit a 5-pages abstract 
describing relevant work that has been or will be published elsewhere, 
or work in progress. These submissions will be only considered for 
presentation at the workshop and inclusion in the preliminary 
proceedings but not in the final proceedings.

We envisage publication of a special issue of a journal dedicated to WRS
after the event.

Important Dates:
# Submission: 20 March 2011
# Notification: 4 April 2011
# Preliminary proceedings version due: 15 April 2011
# Workshop: 29 May 2011
# Submission for final proceedings: 12 September 2011
# Notification: 7 November 2011
# Final version: 21 November 2011

Programme Committee:
# Dan Dougherty, Worcester Polytechnic Institute, USA
# Santiago Escobar, Universidad Politecnica de Valencia, Spain (chair)
# Maribel Fernandez, King's College London, UK
# Juergen Giesl, RWTH Aachen, Germany
# Bernhard Gramlich, Technische Universit Wien, Austria
# Helene Kirchner, Centre de Recherche INRIA Bordeaux, France
# Francisco Javier Lopez Fraguas, Universidad Complutense de Madrid, Spain
# Salvador Lucas, Universidad Politecnica 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-Universitat, Germany 

For more information, please contact
Santiago Escobar
Universidad Politecnica de Valencia, Spain
Email: sescobar at dsic.upv.es