|
|
| 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) |
