School of Informatics Laboratory for Foundations of Computer Science University of Edinburgh, The King's Buildings Edinburgh EH9 3JZ, UK gdp AT inf.ed.ac.uk
Office: JCMB, Room 2620. Phone: +44 131 650 5158. Fax: +44 131 667 7209