[Termtools] termination competition interface

[Carsten Otto]

On Fri, Oct 10, 2008 at 05:02:43PM +0200, Simon Bailey wrote:
> The competition management interface is now open for business.

Thanks!

We (AProVE team) would like to know whether it is possible to submit
new (public) examples to the TPDB, as it was possible for the previous
competitions. If so, a corresponding deadline would be useful.

Furthermore, do you know any details regarding the competition? What is the
latest possible date to submit a new version of a program?

Are the categories LP and FP part of the upcoming competition?

Thanks,
-- 
Carsten Otto           otto at informatik.rwth-aachen.de
LuFG Informatik 2      http://verify.rwth-aachen.de/otto/
RWTH Aachen            phone: +49 241 80-21241
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 197 bytes
Desc: Digital signature
Url : http://lists.lri.fr/pipermail/termtools/attachments/20081013/9710e6e6/attachment.pgp