The webserver is provisionally available again; further testing remains to be done.

Due to planned changes to the networking infrastructure of the University, the Magma webserver will be unavailable for at least three days and up to a week starting from October 31.

Due to electrical work in the building, the Magma webserver will be unavailable for around 72 hours covering the weekend of October 25th and 26th. UPDATE: Arrangements have been made to keep the webserver available during this time.

We are advertising two 3-year positions at the University of Sydney to develop Magma. Please consider applying.

The planned networking changes have been delayed, possibly until October 11; the Magma webserver should remain available over the week from October 4.

Due to planned changes to the networking infrastructure of the University, the Magma webserver will be unavailable for up to a week starting from October 4.