Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

11 August 2006, The Sixth International Workshop on Reduction Strategies in Rewriting and Programming, Sheraton Towers, Seatlle, Washington, USA

Date: Friday 11 August 2006
Location: Sheraton Towers, Seatlle, Washington, USA
Deadline: 8 May 2006

Reduction strategies in rewriting and programming have attracted an increasing attention within the last years. Research in this field ranges from primarily theoretical questions about reduction strategies to very practical application and implementation issues. The need for a deeper understanding of reduction strategies in rewriting and programming, both in theory and practice, is obvious, since they bridge the gap between unrestricted general rewriting (computation) and (more deterministic) rewriting with particular strategies (programming). Moreover, reduction strategies provide a natural way to go from operational principles (e.g., graph and term rewriting, narrowing, lambda-calculus) and semantics (e.g., normalization, computation of values, infinitary normalization, head-normalization) to implementations of programming languages.

The workshop intends to promote and stimulate international research and collaboration in the area of evaluation strategies. It encourages the presentation of new directions,developments and results as well as surveys and tutorials on existing knowledge in this area.

For more information, see http://www.cs.pdx.edu/~antoy/wrs06/

Submission deadline for abstracts is May 8, 2006.

Please note that this newsitem has been archived, and may contain outdated information or links.