This page has been moved to a new web site. Instead of http://algos.inesc.pt/ you should use http://sat.inesc.pt/ followed by the remaining URL. For example, URLs of the form http://algos.inesc.pt/XXXX should be replaced with http://sat.inesc.pt/XXXX.