Redirection issues between various versions of hope2012.mpi-sws.org may be causing access problems. See the links provided below to access the site through alternative routes:

http://hope2012.mpi-sws.org https://hope2012.mpi-sws.org

Or return to the current status page of hope2012.mpi-sws.org.