Dear members of the termtools list, as Claude already wrote earlier, the termtools list can no longer be hosted at the lri.fr site. But first of all, a big "thank you" to Claude for hosting and managing the list for such a long time! Therefore, the list has now moved to Aachen and consequently, it also has a new name: termtools@lists.rwth-aachen.de The list info page is: https://lists.rwth-aachen.de/postorius/lists/termtools.lists.rwth-aachen.de/ All members of the old mailing list have been added to the new mailing list. So I hope that the transition of the lists will be as smooth as possible (and maybe the list could also become more active again...). The new mailing list also has an archive at: https://lists.rwth-aachen.de/hyperkitty/list/termtools@lists.rwth-aachen.de/ The archive of the old mailing list will remain accessible at: https://verify.rwth-aachen.de/termtools/ All of this information can also be found in the termination portal at: http://termination-portal.org/wiki/Termtools Best Regards Juergen