Subject: Termination Competition 2009 live on the web!
From: Juergen Giesl <[email-masked]>
To: [email-masked], Janis Voigtlaender <[email-masked]>, [email-masked], [email-masked], TERMCOMP SC <[email-masked]>, Danny De Schreye <[email-masked]>, Mike Codish <[email-masked]>, Etienne Payet <[email-masked]>, [email-masked], Geoff Sutcliffe <[email-masked]>, Samir Genaim <[email-masked]>, [email-masked], [email-masked], [email-masked], Aprove <[email-masked]>, A Serebrenik <[email-masked]>, Byron Cook <[email-masked]>, pode
Date: Thu, 17 Dec 2009 12:05:40 +0100

Termination Competition 2009
                        December 16-20

The annual termination competition has started today.
The progress of the competition can be seen "live" on the web at

http://termcomp.uibk.ac.at/termcomp/competition/categoryList.seam?competitionId=101722&cid=51

As usual, the most powerful termination provers compete against
each other in this competition. The competition has several categories
for termination analysis of different programming paradigms, including

* Term Rewriting
* Java Bytecode
* Haskell
* Prolog
* etc.

Moreover, there are competitions on

* certified termination analysis and on
* automated complexity analysis.

More information can be found at

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