|
|
| (3 intermediate revisions by one other user not shown) |
| 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.
| |
| | |
| * local organization: Alfons Geser and Johannes Waldmann, HTWK Leipzig
| |
| * date (to be confirmed): June 3 -- 5
| |
| * venue (to be confirmed): http://www.mml-leipzig.de/ueber-das-mml/mediencampus/
| |
| * 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) |
| | |
| | == slides/presentations == |
| | termexec/tpdb query interface: http://dev.aspsimon.org/workspace/projectdocs/leipzig-wst09.pdf |
The 10th Workshop on Termination will be held in 2009 in Leipzig, Germany.
general information
See the official workshop page
wishlist
(add suggestions here)
slides/presentations
termexec/tpdb query interface: http://dev.aspsimon.org/workspace/projectdocs/leipzig-wst09.pdf
