Difference between revisions of "WST09"

From Termination-Portal.org
Jump to navigationJump to search
 
(6 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 
The 10th Workshop on Termination will be held in 2009 in Leipzig, Germany.
 
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

Latest revision as of 11:43, 4 June 2009

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

general information

See the official workshop page

wishlist

(add suggestions here)

slides/presentations

termexec/tpdb query interface: http://dev.aspsimon.org/workspace/projectdocs/leipzig-wst09.pdf