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