WRS 2008
Reduction Strategies in Rewriting and Programming
8th International Workshop
14 July 2008, Castle of Hagenberg, Austria
Submission
There are two categories of submissions:
- (A) Submissions to the formal proceedings
- These submissions must describe unpublished work. Accepted submissions of this category will be published both in the informal and in the formal proceedings. The formal proceedings will be published by Elsevier as a volume of ENTCS.
- (B) Submissions to the informal proceedings
- These submissions may also describe work that has been or will be submitted or published elsewhere or work in progress. Accepted submissions of this category will be published in the informal, but not in the formal proceedings.
The page limit for papers in both categories is 15 pages in ENTCS style. We also explicitly solicit survey and tutorial submissions (of either category) which may be longer. The necessary style files and instructions can be found at www.entcs.org/prelim.html. The submission page for WRS 2008 is