ETAPS 2002 Photos of April 10 / EPSN0092 10/04/2002