ETAPS 2002 Photos of April 8 / EPSN0153
09/04/2002