[Termination tools] web-interface for termination tools

[H. Zantema]

Dear colleagues,

To achieve direct access for the outside world to our termination tools
it would be convenient to have a web-interface where every one can
enter a TRS or SRS or program and directly apply any of our tools on it.

I discussed this some time ago with Claude, and the bottleneck seemed
to be the permanent availability of a powerful machine.

Now the Aachen people have permanent availability of a powerful machine
with 4 parallel processors, and are willing to use it for this goal and
offer the above facility. The AProVE facility for this already works 
fine, see http://aprove.informatik.rwth-aachen.de/, click on Web Interface.

I think it is a good idea to extend this facility to all of the other tools,
and propose that all tool authors send an agreement by email to this
termtools list that the competition version of their tool may be used for 
this goal.

Let me be the first one: I should like TORPA to be included in this
project.

A next step would be that all systems on which this facility is applied
are stored in some log file, and that the most interesting of them 
(to be established in some way) will be added to TPDB.

What do you think of it?

		Best regards, Hans Zantema.

+--------------------------------------+-----------------------------+
|                                      |                             |
|   Dr Hans Zantema                    |   Hoofdgebouw   kamer 6.73  |
|   Faculteit Wiskunde en Informatica  |   tel (040)2472749          |
|   Technische Universiteit Eindhoven  |   fax (040)2468508          |
|   Postbus 513     5600 MB Eindhoven  |   e-mail  H.Zantema at tue.nl  |
|   The Netherlands                    |   www.win.tue.nl/~hzantema  |
|                                      |                             |
+--------------------------------------+-----------------------------+