Logic Colloquium 2007 by Francoise Delon