Logic Colloquium '96 | lit.salon