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/1337/15-
 16-August-2006-Eighth-International-Workshop-on-Te
 rmination-WST-2006-Seattle-Washington-USA
DTSTAMP:20060427T000000
SUMMARY:Eighth International Workshop on Terminati
 on (WST 2006), Seattle, Washington, USA
DTSTART;VALUE=DATE:20060815
DTEND;VALUE=DATE:20060816
LOCATION:Seattle, Washington, USA
DESCRIPTION:The Eighth International Workshop on T
 ermination will delve into all aspects of terminat
 ion of processes. The intent is to bring together,
  in an informal setting, researchers interested in
  all aspects of termination, whether this interest
  be practical or theoretical, primary or derived. 
 The workshop is hoped to provide a ground for cros
 s-fertilisation of ideas from term rewriting and f
 rom the different programming language communities
 .   For more information, an online registration f
 orm and a preliminary program, see http://www.cs.m
 u.oz.au/wst2006/   The Programme Committee cordial
 ly invites all researchers to submit their papers 
 for presentation. Contributions from the constrain
 t, functional, and logic programming communities, 
 and papers investigating new applications of termi
 nation are particularly welcome. Submission deadli
 ne is May 19, 2006.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\nThe
  Eighth International Workshop on Termination will
  delve into all\naspects of termination of process
 es.\nThe intent is to bring together, in an inform
 al\nsetting, researchers interested in all aspects
  of termination,\nwhether this interest be practic
 al or theoretical, primary or derived.\nThe worksh
 op is hoped to provide a ground for cross-fertilis
 ation of\nideas from term rewriting and from the d
 ifferent programming language\ncommunities.\n     
  </p>\n    \n      \n      <p>For more information
 , an online registration form and\n        a preli
 minary program, see\n        <a target="_blank" hr
 ef="http://www.cs.mu.oz.au/wst2006/">http://www.cs
 .mu.oz.au/wst2006/</a>\n      </p>\n    </div><div
 >\n      <p>\n        The Programme Committee cord
 ially invites all researchers\n        to submit t
 heir\n        papers for presentation.\nContributi
 ons from the constraint, functional, and logic pro
 gramming\ncommunities, and papers investigating ne
 w applications of termination\nare particularly we
 lcome.\n        Submission deadline is May 19, 200
 6.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2006/newsitem/1337/15-
 16-August-2006-Eighth-International-Workshop-on-Te
 rmination-WST-2006-Seattle-Washington-USA
END:VEVENT
END:VCALENDAR