ETAPS 2002 Photos of April 7 / EPSN0047
07/04/2002