ETAPS 2002 Photos of April 10 / EPSN0127
10/04/2002