Difference between revisions of "WST09"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) |
J.waldmann (talk | contribs) |
||
| Line 9: | Line 9: | ||
We welcome reports on basic research as well as on applications and implementations. | 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 | |
| − | * venue | + | * 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/ | * general tourist information: http://www.leipzig.de/ | ||
Revision as of 10:37, 18 February 2009
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.
- Organization: Alfons Geser (Program Chair) and Johannes Waldmann (Workshop Chair)
- date: June 3 -- 5
- hosting institution: HTWK Leipzig in cooperation with 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
(add suggestions here)
