[Termtools] status termination competition 2009

[Aart Middeldorp]

Dear all,

Today the missing entries in the complexity categories will be filled
and the first stage (generating termination proofs) of the certification
categories will start. Depending on the timing of the latter, the second
stage (certifying those proofs) may not start until after Christmas.

Since there were some problems with some tools, after everything has
finished certain tools will be rerun. If you want your tool to rerun
please inform the host as well as the steering committee (email addresses
are found at the bottom of http://termcomp.uibk.ac.at/status/rules.html),
when you did not yet do this.

If you are wondering about the output of certain tools, this issue will
be addressed by the host in an ad-hoc manner for the current competition,
but for future competition we kindly ask that tools produce one of the
following:

- CPF which can be displayed using an XSLT transformation available at
   http://cl-informatik.uibk.ac.at/software/cpf/

- *valid* XHTML

- plain ASCII

Cheers,

Aart
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Aart_Middeldorp.vcf
Type: text/x-vcard
Size: 293 bytes
Desc: not available
Url : http://lists.lri.fr/pipermail/termtools/attachments/20091222/f957ea05/attachment.vcf