Professor, School of Informatics Laboratory for Foundations of Computer Science University of Edinburgh Informatics Forum, IF 5.33, Crichton Street Edinburgh, EH8 9AB, UK Email: last_name at ed . ac . uk Telephone: + 44 (0) 131 651 3816, Fax: +44 (0) 131 651 1426