[Termtools] Deadline and Submission of new examples

[Carsten Fuhs]

Dear Johannes,

On Thursday 30 October 2008 09:01, Johannes Waldmann wrote:
> Dear all,
>
> do we have any submitters of problems (secret or not)?

I have submitted 4 new standard TRS problems from our RTA'08 and
AISC'08 papers via the new web interface. From my point of view
it would be a good idea to have these problems as part of the 
(non-secret) problems used for the competition.

Best regards,

  Carsten

> A student of mine has a set of 10 standard SRS problems
> (that Matchbox cannot solve, but his tool can - you'll see why)
>
> This submission could be postponed (he already got his diploma)
> but I'd like to have them in the data base (at some time),
> and his tool in the competition (now).
>
> Best regards, Johannes.



-- 
Carsten Fuhs          mailto:fuhs at informatik.rwth-aachen.de
LuFG Informatik 2     http://verify.rwth-aachen.de/fuhs
RWTH Aachen           phone: +49 241 80-21241