Difference between revisions of "WST09"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) |
J.waldmann (talk | contribs) |
||
| Line 1: | Line 1: | ||
The 10th Workshop on Termination will be held in 2009 in Leipzig, Germany. | The 10th Workshop on Termination will be held in 2009 in Leipzig, Germany. | ||
| + | |||
| + | == general information == | ||
| + | |||
| + | 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. | ||
* local organization: Alfons Geser and Johannes Waldmann, HTWK Leipzig | * 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/ | * venue (to be confirmed): http://www.mml-leipzig.de/ueber-das-mml/mediencampus/ | ||
* general tourist information: http://www.leipzig.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 == |
| − | |||
| − | + | (add suggestions here) | |
| − | |||
| − | |||
Revision as of 10:46, 11 December 2008
The 10th Workshop on Termination will be held in 2009 in Leipzig, Germany.
general information
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.
- 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
(add suggestions here)
