Yearly Archives: 2000

XV. VII APPIA-GULP-PRODE (2000), La Habana (Cuba)

XV. VII APPIA-GULP-PRODE (2000), La Habana (Cuba) December 4-7 2000 Invited Speakers Maurice Bruynooghe Katholieke Universiteit Leuven (Belgium) Thomas Eiter Technische Universitaet Wien (Austria) Jim Lipton Wesleyan University (USA) Program Chairs. Luciano Garcia Universidad de La Habana (Cu) Maria Chiara…

Int’l Summer School 2000

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