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