Jump to content

WST09: Difference between revisions

From Termination-Portal.org
J.waldmann (talk | contribs)
steering
577 edits
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...
 
Binabik (talk | contribs)
18 edits
No edit summary
 
(7 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 ==
* 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

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=WST09&oldid=838"