|
|
| Line 3: |
Line 3: |
| == general information == | | == general information == |
|
| |
|
| The workshop aims to bring together researchers and practitioners
| | See the [http://www.imn.htwk-leipzig.de/wst09/ official workshop page] |
| 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: [http://ginevras.pil.fbeit.htwk-leipzig.de/pil-website/html/geser/home.html Alfons Geser] (Program Chair) and [http://www.imn.htwk-leipzig.de/~waldmann/ Johannes Waldmann] (Workshop Chair)
| |
| * date: June 3 -- 5
| |
| * hosting institution: [http://www.htwk-leipzig.de HTWK Leipzig] in cooperation with [http://www.sml-leipzig.de/ 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 == | | == wishlist == |
|
| |
|
| (add suggestions here) | | (add suggestions here) |
The 10th Workshop on Termination will be held in 2009 in Leipzig, Germany.
general information
See the official workshop page
wishlist
(add suggestions here)
