Hi all, This contest should be of interest to Haskellers. There is an "FP Category" in which termination of Haskell programs is automatically checked. The current state can be observed by following the corresponding "View Results" link from the page http://termcomp.uibk.ac.at/termcomp/competition/categoryList.seam?competitionId=101722&cid=51 Ciao, Janis. -- Jun.-Prof. Dr. Janis Voigtländer http://www.iai.uni-bonn.de/~jv/ mailto:jv@iai.uni-bonn.de