|
|
| (2 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: [http://ginevras.pil.fbeit.htwk-leipzig.de/pil-website/html/geser/home.html Alfons Geser] and [http://www.imn.htwk-leipzig.de/~waldmann/ Johannes Waldmann], [http://www.htwk-leipzig.de 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 |
