Logic Colloquium 2000 door Rene Cori