[Termtools] Deadline and Submission of new examples

[Simon Bailey]

hi carsten,

On Oct 30, 2008, at 9:32 AM, Carsten Fuhs wrote:
> 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.


if you submitted these problems before the re-initialisation of the  
database yesterday, then these problems do not exist in the database  
at the moment.

could you send them to me as a zip/tgz file, then i can add them to  
the upcoming bulk-import before the start of the competition.

regards,
sb
--
Simon Bailey
Systems Administrator
Institut fuer Informatik
Universitaet Innsbruck
Technikerstrasse 21a/2
A-6020 Innsbruck
Tel: +43 (0) 512 507 - 6433
Mob: +43 (0) 664 812 5267
Fax: +43 (0) 512 507 - 2887
http://informatik.uibk.ac.at/