Logic Colloquium 2007 door Francoise Delon