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...) |
|||
| (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. | ||
| − | + | == general information == | |
| − | |||
| − | |||
| − | + | See the [http://www.imn.htwk-leipzig.de/wst09/ official workshop page] | |
| − | + | == wishlist == | |
| − | |||
| − | + | (add suggestions here) | |
| − | |||
| − | + | == slides/presentations == | |
| − | + | 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
