WST09

From Termination-Portal.org
Jump to navigationJump to search

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