[TYPES/announce] WRS 2013 - Final Call for Papers - Extended Deadline

[Jeroen Ketema]

---------------------------------------------
WRS 2013: CALL FOR PAPERS (EXTENDED DEADLINE)
---------------------------------------------

11th International Workshop on
Reduction Strategies in Rewriting and Programming (WRS 2013)
http://multicore.doc.ic.ac.uk/events/wrs2013/
27 June 2013, Eindhoven, the Netherlands

IMPORTANT DATES

* Paper submission deadline: 1 May 2013 (*EXTENDED DEADLINE*)
* Notification of acceptance: 22 May 2013
* Preliminary proceedings version due: 5 June 2013
* Workshop: 27 June 2013
* Paper submission for final proceedings: TBA
* Notification of acceptance: TBA
* Final version due: TBA

AIMS AND SCOPE

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
(http://users.dsic.upv.es/~wrs/).

WRS 2013 will be co-located with RTA 2013 (24th International Conference
on Rewriting Techniques and Applications), as a satellite event of RDP,
the Federated Conference on Rewriting, Deduction, and Programming.
WRS 2013 will be held on 27 June in Eindhoven, the Netherlands.

PAPER SUBMISSION AND PUBLICATION

The 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:

     https://www.easychair.org/conferences/?conf=wrs2013

   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.

INVITED SPEAKER

* Eelco Visser, Delft Univerity of Technology, the Netherlands

PROGRAM COMMITTEE

* Sandra Alves, University of Porto
* Isabelle Gnaedig, LORIA and INRIA Nancy
* Bernhard Gramlich, Technische Universität Wien
* Jürgen Giesl, RWTH Aachen
* Jeroen Ketema, Imperial College Londen (co-chair)
* Dorel Lucanu, "Alexandru Ioan Cuza" University
* Hans Zantema, Eindhoven University of Technology (co-chair)