Difference between revisions of "WST09"
From Termination-Portal.org
Jump to navigationJump to searchm |
|||
| Line 16: | Line 16: | ||
What length do we want for the workshop? E.g. three full days, | What length do we want for the workshop? E.g. three full days, | ||
starting with an informal reception on the day before. | 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! | ||
Revision as of 09:53, 19 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!
