[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

                          Call for Papers

                             WRS 2009
                    9th International Workshop on
           Reduction Strategies in Rewriting and Programming
                   28 June 2009, Brasilia, Brazil

             An RDP 2009 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 amongst others. For this reason programming languages such
as Elan, Maude, OBJ, and Stratego 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 2009 also covers the use of strategies and
tactics in other areas such as theorem and termination proving.

WRS 2009 will take place in Brasilia, as part of RDP, the
Federated Conference on Rewriting, Deduction, and Programming.
Previous editions of the workshop were held in Utrecht (2001),
Copenhagen (2002), Valencia (2003), Aachen (2004), Nara (2005),
Seattle (2006), Paris (2007), Hagenberg (2008).

Submissions and Publication:
Before the workshop, authors are invited to submit a five page
abstract in pdf format, using the Easychair website
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 paper based on
their presentation, which will be refereed for inclusion in the final
workshop proceedings. We plan to publish the final proceedings in EPTCS.

We also invite authors to submit a 5 page 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: title and short abstract: 9 April 2009
               full abstract: 19 April 2009
# Notification: 17 May 2009
# Preliminary proceedings version due: 7 June 2009
# Workshop: 28 June 2009
# Submission for final proceedings: 5 September 2009
# Notification: 30 October 2009

Programme Committee:
Sergio Antoy
Mauricio Ayala Rincon
Horatiu Cirstea
Adriana Compagnoni
Santiago Escobar
Maribel Fernandez (chair)
Juergen Giesl
Bernhard Gramlich
Salvador Lucas
Ian Mackie
Jorge S. Pinto

For more information, please contact
Maribel Fernandez
King's College London, UK
Email: maribel.fernan...@kcl.ac.uk


Dr. Maribel Fernandez
King's College London
Department of Computer Science
+44 20 78482499

Reply via email to