ETAPS 2002 Photos April 11 / EPSN0010
11/04/2002