WRS 2001
International Workshop on Reduction Strategies
in Rewriting and Programming
Post-workshop proceedings of WRS 2001 have appeared in the
Electronic Notes in Computer Science (ENTCS)
series of Elsevier as
Volume 57.
- home
- call for papers
(in
html,
txt,
pdf,
ps)
- important
dates
| submission: |
| March 12, 2001 |
| notification: |
| March 31, 2001 |
| final versions: |
| April 30, 2001 |
| RTA 2001: |
| May 22-24, 2001 |
| WRS 2001: |
| May 26, 2001 |
- program comittee
- invited talks
- accepted papers
- registration
- program
- proceedings
- participants
- pictures
Last modified: Wed Dec 19 10:42:21 CET 2001
BG