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