[Termtools] competition - status check

[Carsten Otto]

On Mon, Nov 03, 2008 at 04:38:16PM +0100, Johannes Waldmann wrote:
> We will need this list tomorrow (between 11 and 12)
> but I think it would be good to have it already now,
> so teams can check whether they're registered properly.

The AProVE team is still in the process of providing implementations for
the certifying categories. This will be finished in time.

We will participate with three implementations:
1) using CoLoR
2) using A3PAT
3) using both

Bye,
-- 
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/20081103/69c8b686/attachment.pgp