Int’l Summer School 2000 29 Agosto 2000 First International Summer School in Computational Logic ISCL 2000 (org: Sandro Etalle and Maurizio Gabbrielli) [BNVKI newsletter 17 (6), Dec. 2000, p. 14]