Floris Geerts

Senior Research Fellow, School of Informatics
Laboratory for Foundations of Computer Science
University of Edinburgh
Informatics Forum, IF 5.27, Crichton Street
Edinburgh, EH8 9AB, UK

Email: fgeerts at inf . ed . ac . uk
Telephone: + 44 (0) 131 651 5659
Fax: +44 (0) 131 651 1426