Difference between revisions of "WST09"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) (New page: 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...) |
|||
| Line 8: | Line 8: | ||
* around June 2 - 7 (week after Whitsunday = Pfingsten) | * around June 2 - 7 (week after Whitsunday = Pfingsten) | ||
| + | ** Probably June 4-7 will be best. | ||
* around July 6 - 11 | * around July 6 - 11 | ||
Revision as of 09:52, 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.
