Difference between revisions of "WST09"
From Termination-Portal.org
Jump to navigationJump to searchm |
J.waldmann (talk | contribs) |
||
| Line 19: | Line 19: | ||
=== Certified Termination === | === 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! | 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. | ||
Revision as of 18:54, 31 May 2008
The 10th Workshop on Termination will be held in 2009 in Leipzig, Germany.
- local organization: Alfons Geser and Johannes Waldmann, HTWK Leipzig
- 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:
- around June 2 - 7 (week after Whitsunday = Pfingsten)
- Probably June 4-7 will be best.
- around July 6 - 11
Do you know of any conflicting or adjacent conferences? (Please list dates here.)
- RTA09 (RDP09) June 28 - July 3 in Brasilia
What length do we want for the workshop? E.g. three full days, starting with an informal reception on the day before.
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.
