WST09

From Termination-Portal.org
Revision as of 10:37, 18 February 2009 by J.waldmann (talk | contribs)
Jump to navigationJump to search

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.

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)