Home / ETAPS, Edinburgh, Scotland, April 2005 / Edinburgh Castle, April 8 41