Logic Colloquium 2007 | lit.salon