You should be automatically redirected to the new website of the computational logic group.