WST09: Difference between revisions
J.waldmann (talk | contribs) No edit summary |
No edit summary |
||
| Line 8: | Line 8: | ||
(add suggestions here) | (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