Jeroen Ketema | 20 Apr 22:05 2013
Picon

WRS 2013 - 2nd Call for Papers


-------------------------
WRS 2013: CALL FOR PAPERS
-------------------------

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: 24 April 2013
* 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
(Continue reading)


Gmane