Logic Colloquium 2006 | lit.salon