|
|
| (4 intermediate revisions by one other user not shown) |
| 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. |
|
| |
|
| * local organization: Alfons Geser and Johannes Waldmann, HTWK Leipzig
| | == general information == |
| * venue (to be confirmed): http://www.mml-leipzig.de/ueber-das-mml/mediencampus/
| |
| * general tourist information: http://www.leipzig.de/
| |
|
| |
|
| What are your preferences for the date of the workshop? Vote here:
| | See the [http://www.imn.htwk-leipzig.de/wst09/ official workshop page] |
|
| |
|
| * around June 2 - 7 (week after Whitsunday = Pfingsten)
| | == wishlist == |
| ** Probably June 4-7 will be best.
| |
| * around July 6 - 11
| |
|
| |
|
| Do you know of any conflicting or adjacent conferences? (Please list dates here.)
| | (add suggestions here) |
| * RTA09 (RDP09) June 28 - July 3 in Brasilia
| |
|
| |
|
| What length do we want for the workshop? E.g. three full days,
| | == slides/presentations == |
| starting with an informal reception on the day before.
| | termexec/tpdb query interface: http://dev.aspsimon.org/workspace/projectdocs/leipzig-wst09.pdf |
| | |
| === Certified Termination === | |
| Should certified termination be part of the program? If so, should it be contained on one day or spread over the days? Discuss!
| |
| | |
| Proposal (JW):
| |
| * have the first (or zeroeth) day of WST for purely technical discussions on certification (e.g. XML formats and other detail that is boring except for tool authors)
| |
| * but otherwise merge scientific discussion on certified termination with the general workshop program, as the community is too small for having two separate workshops, or a two-track workshop.
| |
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
