[Termtools] Termination Portal

[Peter Schneider-Kamp]

Dear Johannes,

thanks for the feedback.

Regarding the address, for initial testing it will
probably even be something like
http://aprove.informatik.rwth-aachen.de/termination/

When the site is ready for "production use", we should
either have decided on a domain name or contacted the
rewriting.org maintainer (Laurent?).

Regards,
Peter

Johannes Waldmann schrieb:
>> should I interpret the lack of any feedback on my proposals
> 
> The proposal is fine. Go ahead and implement it :-)
> 
> We just need a (domain) name. I still think
> something below rewriting.org might be easiest for the moment.
> 
> Formally, we could take a vote (buy a domain name? which one? etc.)
> but for that, we'd have to establish a procedure for voting
> (and web software to support it - but for that, we'd need the
> termination portal first?)
> 
> PS: I guess progress on any such matters will be slow
> during summertime...


-- 
Peter Schneider-Kamp   mailto:psk at informatik.rwth-aachen.de
LuFG Informatik II     http://www-i2.informatik.rwth-aachen.de/psk
RWTH Aachen            phone: ++49 241 80-21211