ETAPS 2002 Photos April 11 / EPSN0001 11/04/2002