[Termtools] Termination Portal down

[David Keller]

Dear all,

unfortunately the http port of our webserver is currently blocked by 
some firewall of the university. We have reported the problem last 
Tuesday but so far no answer.

Best regards,

David

On 27.07.20 13:17, Jesus Doménech wrote:
> 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/
>
> -- 
> 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 <mailto:jdomenec at ucm.es>
>
> _______________________________________________
> Termtools mailing list
> Termtools at lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20200727/c87cdecf/attachment-0001.htm>