[Termtools] [Termcomp] Fwd: Re: [color] Termination Competition 2009: Call for Participation

[Frederic Blanqui]

To the organizers of the competition,

>>>   3. The certifiers are then run on the collection produced by 2."
>>>
>>> In 3, what are the "certifiers"? Who is providing them?
>>
>> It is assumed that the certifiers are all those who want to participate,
>> i.e., most likely the combinations CiME/Coccinelle/Coq, 
>> Rainbow/CoLoR/Coq, and CeTA.
> 
> Ok, so it means that certifiers must also register for participating to 
> the competition, independently of provers. This is different from 
> previous years, where provers had to provide the runme and checkme 
> programs, and this is not clear from the announcement and the rules.
> 
> Then, do we have to provide a unique command (like checkme)? And, how to 
> make sure that every thing runs well: is there going to be any test 
> before starting the competition?

I need to know quickly what to do: the registration deadline is next Monday.

On the competition website, I can register Rainbow, but I don't want to 
participate to the finding-a-proof competition, just to the 
certification phase. What do I have to do then?

Btw, the competition website provides only two tracks for certification: 
standard TRSs and standard SRSs. It again excludes relative or modulo AC 
systems... Why?

Thank you for your attention. Frederic.