[Termtools] status request

Peter Schneider-Kamp psk at informatik.rwth-aachen.de
Sat Oct 20 14:01:09 CEST 2007


Dear Johannes, dear all,

for the termination web site I had the idea to pool resources with
Daniel Le Berre running the "SAT Live" page. Their needs are very
similar to what we want to do and they have developed a framework
for such a web site during this summer. I hope to be able to start
from that framework soon (I just pinged Daniel about this once more).

Regarding the domain name, I think we should settle on a name
(either through the steering committee or using this mailing list).
My current favourites are termination-portal.org and
terminaton-central.org. If we have a name, someone (who?) should
register this domain and redirect this to my termination web site
(ask me for the target URI when we get to this stage).

Best regards,
Peter

Johannes Waldmann schrieb:
> Dear colleagues,
> 
> I guess everyone's busy because the start of the teaching term.
> Still I'd like to ask for a short information on the status of:
> 
> * Termination Competition/Data Base (Innsbruck)
> * Termination web site (Aachen)
> 
> Please email to this list. - Thanks, Johannes.
> 
> _______________________________________________
> Termtools mailing list
> Termtools at lists.lri.fr
> http://lists.lri.fr/mailman/listinfo/termtools



More information about the Termtools mailing list