My homepage has moved to http://www.comlab.ox.ac.uk/people/vojtech.forejt/.