This site has permanently moved to http://mtm.ufsc.br/~martin . You should be redirected automatically.