[Termtools] competition - status check

[Johannes Waldmann]

Simon - thanks for the update.

I suggest to use the alphabetical ordering for running the categories
(which I guess is: Derivational C., FP, LP, Runtime C., SRS.*, TRS.*)

Reminder: deadline for submissions of implementations and problems
is tomorrow, Tuesday November 4th, 11 a.m. CET,
that's (slightly less than) 12 hours from now.

Competition will start one hour later: at 12 noon.

Best regards, Johannes.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 257 bytes
Desc: OpenPGP digital signature
Url : http://lists.lri.fr/pipermail/termtools/attachments/20081103/c61f5687/attachment.pgp