[Termtools] Termination Portal online

[Johannes Waldmann]

Dear Peter, thanks for building this web site.

I hope it will be useful for tracking results,
progress and questions related to (automated) termination
both inside the community, and to the outside
(that is, potential users of termination methods/tools).


As for the domain name, another idea is
to put everthing under rewriting.org
("whois" tells that Nachum holds the name).

Otherwise, I'd be willing to register a domain name
(as I am the current competition steering committee chair).

Best regards, Johannes.