BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2006/newsitem/1243/11- August-2006-The-Sixth-International-Workshop-on-Re duction-Strategies-in-Rewriting-and-Programming-Sh eraton-Towers-Seatlle-Washington-USA DTSTAMP:20060302T000000 SUMMARY:The Sixth International Workshop on Reduct ion Strategies in Rewriting and Programming, Shera ton Towers, Seatlle, Washington, USA DTSTART;VALUE=DATE:20060811 DTEND;VALUE=DATE:20060811 LOCATION:Sheraton Towers, Seatlle, Washington, USA DESCRIPTION:Reduction strategies in rewriting and programming have attracted an increasing attention within the last years. Research in this field ran ges from primarily theoretical questions about red uction strategies to very practical application an d implementation issues. The need for a deeper und erstanding of reduction strategies in rewriting an d programming, both in theory and practice, is obv ious, since they bridge the gap between unrestrict ed general rewriting (computation) and (more deter ministic) rewriting with particular strategies (pr ogramming). 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, comp utation of values, infinitary normalization, head- normalization) to implementations of programming l anguages. The workshop intends to promote and s timulate international research and collaboration in the area of evaluation strategies. It encourage s the presentation of new directions,developments and results as well as surveys and tutorials on ex isting knowledge in this area. For more informa tion, see http://www.cs.pdx.edu/~antoy/wrs06/ Su bmission deadline for abstracts is May 8, 2006. X-ALT-DESC;FMTTYPE=text/html:
Reduc tion strategies in rewriting and programming have attracted an increasing attention within the last years. Research in this field ranges from primari ly theoretical questions about reduction strategie s to very practical application and implementation issues. The need for a deeper understanding of re duction strategies in rewriting and programming, b oth in theory and practice, is obvious, since they bridge the gap between unrestricted general rewri ting (computation) and (more deterministic) rewrit ing with particular strategies (programming). More over, reduction strategies provide a natural way t o go from operational principles (e.g., graph and term rewriting, narrowing, lambda-calculus) and se mantics (e.g., normalization, computation of value s, infinitary normalization, head-normalization) t o implementations of programming languages.\n
\n\nThe workshop intends to promote and stimulate international\n research and coll aboration in the area of evaluation\n strategie s. It encourages the presentation of new\n dire ctions,developments and results as well as surveys and\n tutorials on existing knowledge in this area.\n
\n \n\n \n For more information, see\n h ttp://www.cs.pdx.edu/~antoy/wrs06/\n