Logic Colloquium 2000 by Rene Cori