ETAPS 2005

2-10 April 2005 Edinburgh, Scotland