[Termtools] Termination Competition 2007

[Claude Marché]

The rules for the 2007 edition of the termination competition are now
available on the web page

http://www.lri.fr/~marche/termination-competition/

Main novelties:

- a new category FP for (lazy) functional programs (Haskell syntax)
- a new "option" for production for mechanically verifiable proof
  traces

Questions, remarks, etc. are welcome.

-- 
Claude Marché                          | tel: +33 1 72 92 59 69           
INRIA Futurs - ProVal                  | mobile: +33 6 33 14 57 93 
Parc Orsay Université - ZAC des Vignes | fax: +33 1 74 85 42 29   
3, rue Jacques Monod - Bâtiment N      | http://www.lri.fr/~marche/
F-91893 ORSAY Cedex                    |