ETAPS 2005
Laboratory for Foundations of Computer Science
School of Informatics
University of Edinburgh
Edinburgh EH9 3JZ
Scotland, UK

e-mail: etaps05@inf.ed.ac.uk
phone: +44 131 650 5116
fax:      +44 131 667 7209