[Termtools] Upcoming termination competition

[Frederic Blanqui]

Hello.

For the last competition, there was only 12 higher-order termination 
problems proposed to the provers. I find this a little bit ridiculous 
for a competition. I think that, for this new category and perhaps 
others for which the database is poor, we should propose the maximum 
number of termination problems instead, until we get a sufficiently rich 
database. In particular, to have more higher-order examples, we could 
include Haskell programs for instance.

Frederic.


Le 11/05/2011 17:02, René Thiemann a écrit :
> Dear all,
>
> the official rules of the upcoming termination competition are now available, cf.
>
> http://termcomp.uibk.ac.at/2011/rules.html
>
> If you want to participate, please check the configuration of the server whether
> the required software is installed in the appropriate version.
>
> http://termcomp.uibk.ac.at/2011/index.html
>
> Please upload and test your (new) versions of the tool as usual.
> Moreover, on the page where you can select in which categories you will participate,
> there is a new checkbox whether you allow to download your tool. If this is checked, then after
> the competition, the competition version of your tool will be available for download
> for everyone.
>
> Best regards,
> René