ETAPS 2004 March 27 - April 4, 2004 
Barcelona, Spain