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.
Program
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.
Dates
- submission of abstracts: 21 April
- notification of acceptance: 29 April
- final paper version: 10 May
- early registration deadline: 10 May
- workshop: June 3 -- 5
Registration
Early registration deadline has passed. For late registration, contact the local organizer.
