WRS 2011
10th International Workshop on
Reduction Strategies
in Rewriting and Programming
29 May 2011
Novi Sad, Serbia
An RDP workshop.
PROGRAMME
|
8:00-9:00 |
Registration |
|
Session 1 |
|
|
9.00-10.00 |
Detlef Plump (Invited speaker). |
|
|
Graph Programs: Semantics, Verification and Implementation |
|
10.00-10.30 |
Coffee Break |
|
Session 2 |
|
|
10.30-11.00 |
Hans Zantema |
|
|
Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic |
|
11.00-11.30 |
Matthias Raffelsieper |
|
|
Productivity of Non-Orthogonal Term Rewrite Systems |
|
11.30-12.00 |
Sandra Alves, Maribel Fernandez, Mario Florido and Ian Mackie |
|
|
Closed reduction strategies in a linear lambda calculus with recursion |
|
12.00-14.00 |
Lunch Time |
|
Session 3 |
|
|
14.00-14.30 |
Walid Belkhir and Alain Giorgetti. |
|
|
Lazy Term Rewriting Modulo Associativity and Commutativity |
|
14.30-15.30 |
Narciso Martí-Oliet (Invited speaker). |
|
|
The Maude strategy language and some of its applications |
|
15.30-16.00 |
Coffee Break |
|
Session 4 |
|
|
16.00-16.30 |
Nao Hirokawa and Aart Middeldorp. |
|
|
Strategies for Decreasingly Confluent Rewrite Systems |
|
16.30-17.00 |
Vladimir Komendantsky |
|
|
Application of monadic substitution to recursive type containment |
|
17.00-17.30 |
Sandra Alves and Ian Mackie |
|
|
Constrained beta reduction |
|
17.30-18:00 |
Business Meeting |
|
18:00 |
Closing |
FURTHER INFORMATION
For further information please contactSantiago Escobar
Universidad Politécnica de Valencia, Spain
Email: sescobar@dsic.upv.es