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/2016/newsitem/7471/5-7
 -September-2016-15th-International-Workshop-on-Ter
 mination-WST-2016-Obergurgl-Austria
DTSTAMP:20160623T000000
SUMMARY:15th International Workshop on Termination
  (WST 2016), Obergurgl, Austria
DTSTART;VALUE=DATE:20160905
DTEND;VALUE=DATE:20160907
LOCATION:Obergurgl, Austria
DESCRIPTION:The Workshop on Termination (WST) trad
 itionally brings together, in an informal setting,
  researchers interested in all aspects of terminat
 ion, whether this interest be practical or theoret
 ical, primary or derived. The workshop also provid
 es a ground for cross-fertilization of ideas from 
 term rewriting and from the different programming 
 language communities. The friendly atmosphere enab
 les fruitful exchanges leading to joint research a
 nd subsequent publications. The event is held as p
 art of CLA 2016   For more information, see http:/
 /cl-informatik.uibk.ac.at/events/wst-2016/  The 15
 th International Workshop on Termination welcomes 
 contributions on all aspects of termination and te
 rmination analysis. Contributions from the imperat
 ive, constraint, functional, and logic programming
  communities, and papers investigating application
 s of complexity or termination (for example in pro
 gram transformation or theorem proving) are partic
 ularly welcome. Deadline for submission: June 22, 
 2016
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The W
 orkshop on Termination (WST) traditionally brings\
 n      together, in an informal setting, researche
 rs interested in all\n      aspects of termination
 , whether this interest be practical or\n      the
 oretical, primary or derived. The workshop also pr
 ovides a\n      ground for cross-fertilization of 
 ideas from term rewriting and\n      from the diff
 erent programming language communities. The\n     
  friendly atmosphere enables fruitful exchanges le
 ading to joint\n      research and subsequent publ
 ications. The event is held as part\n      of CLA 
 2016\n      </p>\n    \n      \n      <p>For more 
 information, see\n        <a target="_blank" href=
 "http://cl-informatik.uibk.ac.at/events/wst-2016/"
 >http://cl-informatik.uibk.ac.at/events/wst-2016/<
 /a>\n      </p>\n    </div><div>\n      <p>The 15t
 h International Workshop on Termination welcomes\n
         contributions on all aspects of terminatio
 n and termination analysis.\n        Contributions
  from the imperative, constraint, functional, and 
 logic\n        programming communities, and papers
  investigating applications of\n        complexity
  or termination (for example in program transforma
 tion or\n        theorem proving) are particularly
  welcome.\n        Deadline for submission: June 2
 2, 2016\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2016/newsitem/7471/5-7
 -September-2016-15th-International-Workshop-on-Ter
 mination-WST-2016-Obergurgl-Austria
END:VEVENT
END:VCALENDAR