ETAPS 2002 Photos of April 9 / EPSN0173
09/04/2002