WST09: Difference between revisions
J.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... |
No edit summary |
||
| 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.