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