Direkt zum InhaltDirekt zur Navigation


10. International Workshop on Termination

Leipzig, Germany, June 3 - 5, 2009
Datum 03.06.2009 09:00 - 05.06.2009 18:00
Ort Mediencampus Villa Ida Leipzig
Exportieren ICS-Export

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.

  • call for papers
  • program committee:
    • Frederic Blanqui, INRIA and Tsinghua Univ.
    • Byron Cook, Microsoft
    • Alfons Geser, HTWK Leipzig (Chair)
    • Michael Hanus, Univ. Kiel
    • Janis Voigtländer, TU Dresden
  • local organization:  Johannes Waldmann, HTWK Leipzig
  • general information on topics, tools and activities in termination
  • hosting institution of the workshop
  • workshop venue: Mediencampus Villa Ida
  • travel information:  
    • from airport LEJ to central station (Hauptbahnhof): direct and frequent train connection
    • from central station (Hauptbahnhof) to workshop site: take tram 4 (direction Gohlis Landsberger Straße) to Stallbaumstraße or tram 12 (direction Gohlis Nord) to Fritz-Seger-Straße
  • accomodation: Leipzig has a large number of hotels of all price ranges. Please use standard hotel search engines to find what you want.


Complete list of papers  to be presented.

Submission (closed)

Submit an abstract (1 .. 4 pages) through  EasyChair Login Page for WST 09
Use \documentclass[a4paper]{easychair} , see  here.
The refereeing will be informal. Abstracts will be collected in a proceedings brochure that will be available at the workshop.


  • submission of abstracts: 21 April
  • notification of acceptance: 29 April
  • final paper version: 10 May
  • early registration deadline: 10 May
  • workshop: June 3 -- 5


Early registration deadline has passed. For late registration, contact the local organizer.