Logic Colloquium '98 | lit.salon