ETAPS 2003 April 5 - 13, 2003, Warsaw, Poland