WST09

The 10th Workshop on Termination will be held in 2009 in Leipzig, Germany.

general information

The workshop aims to bring together researchers and practitioners that are interested in methods and techniques related to termination of computations. This includes all models and fields of computation, like rewriting systems, programming paradigms and languages, transitions systems etc. We welcome reports on basic research as well as on applications and implementations.

• Organization: Alfons Geser (Program Chair) and Johannes Waldmann (Workshop Chair)
• date: June 3 -- 5
• hosting institution: HTWK Leipzig in cooperation with Leipzig School of Media
• venue: http://www.mediencampus-villa-ida.de/
• general tourist information: http://www.leipzig.de/

submission

Submit an abstract (1 .. 4 pages) to the local organizers. There will be no formal refereeing. Abstracts will be collected in a proceedings brochure that will be available at the workshop.

dates (tentative)

• submission of abstracts: mid-April
• early registration deadline: mid-April (fee increases for later registration)
• workshop: June 3 -- 5

schedule (tentative)

• June 3 (Wednesday)
  • day: "pure technical" discussions (e.g. XML formats and other detail that is boring except for tool authors)
  • evening: reception (at workshop site)

• June 4 (Thursday)
  • day: workshop presentations
  • evening: excursion/dinner

• June 5 (Friday)
  • day: workshop presentations

wishlist

(add suggestions here)