My homepage has now moved here: http://homepages.inf.ed.ac.uk/cdubach/