Logic Colloquium 2000 | lit.salon