[Termtools] Upcoming termination competition

[René Thiemann]

Dear all,

the official rules of the upcoming termination competition are now available, cf.

http://termcomp.uibk.ac.at/2011/rules.html

If you want to participate, please check the configuration of the server whether
the required software is installed in the appropriate version.

http://termcomp.uibk.ac.at/2011/index.html

Please upload and test your (new) versions of the tool as usual.
Moreover, on the page where you can select in which categories you will participate,
there is a new checkbox whether you allow to download your tool. If this is checked, then after
the competition, the competition version of your tool will be available for download
for everyone. 

Best regards,
René
-- 
René Thiemann                    mailto:rene.thiemann at uibk.ac.at
Computational Logic Group        http://cl-informatik.uibk.ac.at/~thiemann/
Institute of Computer Science    phone: +43 512 507-6434
University of Innsbruck