[Termtools] Termination Portal down

[Jesus Doménech]

Dear all,

I'm not able to access to the termination portal [1], and after some
certification complains, I got redirected to AProVE's beta website [2]. I'm
using the last version of Firefox. In Chrome, I just get "Connection
refused"

Does anyone know whats going on? Last week, I was able to access it.

Thank you,
Best regards,

Jesús
[1] http://www.termination-portal.org/
[2] https://www-aprove.informatik.rwth-aachen.de/

-- 
[image: logo UCM]

Jesús J. Doménech Arellano
Departamento de Sistemas Informáticos y Computación
Facultad de Informática - Universidad Complutense de Madrid

(+34) 91 394 7528
Facultad de Informática, Aula - 16
jdomenec at ucm.es
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20200727/1fd9bd13/attachment.htm>