[Termtools] Termination Competition 2012

[René Thiemann]

Dear all,

this years termination competition just started which will run during IJCAR. There are 18 competitors in 20 different categories:

The competition features
- several kinds of rewrite systems, but also Logic-, Haskell-, and Java-programs
- (non-)termination analysis, but also complexity analysis
- standard proof output, but also certified proof output

For those of you who became interested, just follow this link to see the results live:

http://termcomp.uibk.ac.at/liveview.php

For general information on the termination competition see http://termination-portal.org

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