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:<div>\n      <p>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     
  </p>\n      <p>\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      </p>\n    \n      <p>\n      \n      
   For more information, see\n        <a target="_b
 lank" href="http://www.cs.pdx.edu/~antoy/wrs06/">h
 ttp://www.cs.pdx.edu/~antoy/wrs06/</a>\n      </p>
 \n    </div><div>\n        Submission deadline for
  abstracts is May 8, 2006.\n      </div>
URL:/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
END:VEVENT
END:VCALENDAR