New course web-page can be found here: http://www.cs.ucl.ac.uk/staff/j.kautz/teaching/3080/.