[Termination tools] announcement termination competition

Salvador Lucas slucas at dsic.upv.es
Tue Feb 8 17:42:01 CET 2005


Dear Claude and Hans,

H. Zantema wrote:

>Claude Marche and me are preparing the termination competition for 
>2005. Below you may find our proposal for the announcement.
>
Thanks for taking the burden again. The previous competitions were very
nice and useful!

> Comments
>on this proposal can be sent to me until February 16, after which the
>announcement will be distributed widely over the community.
>
I would like to participate this year with MU-TERM. Thus, as done in 2004,
could you also add the Context-Sensitive Rewriting category?

Best regards,

Salvador.



More information about the Termtools mailing list