Difference between revisions of "WST09"

Latest revision as of 11:43, 4 June 2009

The 10th Workshop on Termination will be held in 2009 in Leipzig, Germany.

(add suggestions here)

@@ Line 1: / Line 1: @@
 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!