Int’l Summer School 2002 29 Agosto 2002 Second International Summer School in Computational Logic ISCL 2002 (org: Roberto Bagnara and Patricia Hill)