ETAPS 2002 Photos of April 6 / EPSN0020 08/04/2002